Lines Matching defs:KPTphys
126 pd_entry_t *KPTphys;
270 KPTphys[atop_kernel(master_gdt_alias_phys)] = master_gdt_phys |
272 KPTphys[atop_kernel(master_idt_alias_phys)] = master_idt_phys |
280 KPTphys = ALLOCPAGES(NKPT); /* level 1 */
286 fillkpt(KPTphys,
291 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT);
322 KPTphys = ALLOCPAGES(NKPT); /* level 1 */
333 fillkpt(KPTphys,
336 // Rewrite the 2nd-lowest level to point to pages of KPTphys.
338 // must be done after the KPTphys fill since IdlePTD is in use
340 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT);