Searched refs:IDPML4 (Results 1 – 1 of 1) sorted by relevance
67 static pml4_entry_t IDPML4[PTE_PER_PAGE] __attribute__ ((aligned(4096))); variable260 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()263 set_cr3_raw((uint64_t) ID_MAP_VTOP(IDPML4)); in pal_efi_call_in_32bit_mode()