Lines Matching defs:IdlePML4
132 pml4_entry_t *IdlePML4;
172 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX];
174 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4));
181 IdlePML4[0] = 0;
236 IdlePML4[KERNEL_PHYSMAP_PML4_INDEX] =
246 KERNEL_PHYSMAP_PML4_INDEX, IdlePML4[KERNEL_PHYSMAP_PML4_INDEX]);
283 IdlePML4 = ALLOCPAGES(1); /* level 4 */
297 // IdlePML4 single entry for kernel space.
298 fillkpt(IdlePML4 + KERNEL_PML4_INDEX,
312 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));
422 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));