Searched refs:pal_efi_saved_cr3 (Results 1 – 1 of 1) sorted by relevance
69 uint64_t pal_efi_saved_cr3; variable258 pal_efi_saved_cr3 = get_cr3_raw(); in pal_efi_call_in_32bit_mode()291 set_cr3_raw(pal_efi_saved_cr3); in pal_efi_call_in_32bit_mode()