Home
last modified time | relevance | path

Searched refs:save_pgd (Results 1 – 1 of 1) sorted by relevance

/linux/arch/x86/platform/efi/
H A Defi_32.c103 pgd_t *save_pgd; in efi_set_virtual_address_map() local
106 save_pgd = swapper_pg_dir; in efi_set_virtual_address_map()
123 load_cr3(save_pgd); in efi_set_virtual_address_map()