Lines Matching defs:IdlePML4
125 pml4_entry_t *IdlePML4;
161 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX];
163 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4));
170 IdlePML4[0] = 0;
220 IdlePML4[KERNEL_PHYSMAP_PML4_INDEX] =
230 KERNEL_PHYSMAP_PML4_INDEX, IdlePML4[KERNEL_PHYSMAP_PML4_INDEX]);
267 IdlePML4 = ALLOCPAGES(1); /* level 4 */
281 // IdlePML4 single entry for kernel space.
282 fillkpt(IdlePML4 + KERNEL_PML4_INDEX,
296 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));
370 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4));