Searched refs:KERNEL_PML4_INDEX (Results 1 – 8 of 8) sorted by relevance
260 IDPML4[KERNEL_PML4_INDEX] = IdlePML4[KERNEL_PML4_INDEX]; in pal_efi_call_in_32bit_mode()261 IDPML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in pal_efi_call_in_32bit_mode()
213 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in x86_64_pre_sleep()411 fillkpt(IdlePML4 + KERNEL_PML4_INDEX, in Idle_PTs_init()
204 #define KERNEL_PML4_INDEX 511 macro205 #define KERNEL_KEXTS_INDEX (KERNEL_PML4_INDEX - 1) /* 510: Home of KEXTs - the…
270 DECLARE("KERNEL_PML4_INDEX", KERNEL_PML4_INDEX); in main()
50 [KERNEL_PML4_INDEX] = ((uint64_t)(PAGE_SIZE) | PML4_PROT),
332 if (pml4[KERNEL_PML4_INDEX] != kernel_pmap->pm_pml4[KERNEL_PML4_INDEX]) { in pmap_pcid_activate()
181 add %eax, KERNEL_PML4_INDEX*8+0(%eax) // - kernel space
1715 for (i = KERNEL_PML4_INDEX; i < (KERNEL_PML4_INDEX + KERNEL_PML4_COUNT); i++) { in pmap_create_options()