Searched refs:ID_MAP_VTOP (Results 1 – 4 of 4) sorted by relevance
215 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4)); in x86_64_pre_sleep()277 physmapL3[i] = ((uintptr_t)ID_MAP_VTOP(l2pte)) in physmap_init_L3()365 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()404 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()408 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD); in Idle_PTs_init()412 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePDPT), 0, 1); in Idle_PTs_init()438 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in Idle_PTs_init()784 first_avail = (vm_offset_t)ID_MAP_VTOP(physfree); in vstart()802 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in vstart()1160 dblmapL3[randL3] = ((uintptr_t)ID_MAP_VTOP(&dblmapL2[0])) in doublemap_init()[all …]
263 set_cr3_raw((uint64_t) ID_MAP_VTOP(IDPML4)); in pal_efi_call_in_32bit_mode()
455 #define ID_MAP_VTOP(x) ((void *)(((uint64_t)(x)) & LOW_4GB_MASK)) macro
504 kernel_pmap->pm_cr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()505 kernel_pmap->pm_ucr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()