Searched refs:efi_pgt (Results 1 – 1 of 1) sorted by relevance
56 pgd_t *efi_pgt; member154 efi_scratch.efi_pgt = (pgd_t *)(unsigned long)real_mode_header->trampoline_pgd; in efi_setup_page_tables()155 pgd = __va(efi_scratch.efi_pgt); in efi_setup_page_tables()352 write_cr3((unsigned long)efi_scratch.efi_pgt); \380 write_cr3((unsigned long)efi_scratch.efi_pgt); in efi_thunk_set_virtual_address_map()