Lines Matching defs:ID_MAP_VTOP
174 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4));
188 #define ID_MAP_VTOP(x) x
220 ((uintptr_t)ID_MAP_VTOP(&physmapL2[i]))
237 ((uintptr_t)ID_MAP_VTOP(physmapL3))
260 master_gdt_phys = (vm_offset_t) ID_MAP_VTOP(master_gdt);
261 master_idt_phys = (vm_offset_t) ID_MAP_VTOP(master_idt64);
262 master_gdt_alias_phys = (vm_offset_t) ID_MAP_VTOP(MASTER_GDT_ALIAS);
263 master_idt_alias_phys = (vm_offset_t) ID_MAP_VTOP(MASTER_IDT_ALIAS);
291 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT);
295 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD);
299 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePDPT), 0, 1);
312 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));
340 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT);
403 first_avail = (vm_offset_t)ID_MAP_VTOP(physfree);
422 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));