Searched defs:global_CR3 (Results 1 – 4 of 4) sorted by relevance
133 uint64_t *global_CR3 = get_CR3(); in smp_init() local
37 uint64_t global_CR3 = (uint64_t)get_CR3(); in init_frame_buffer() local
48 uint64_t global_CR3 = (uint64_t)get_CR3(); in mm_map_phys_addr() local55 uint64_t global_CR3 = (uint64_t)get_CR3(); in mm_map_phys_addr_user() local
473 ul *global_CR3 = get_CR3(); in page_table_init() local