Searched refs:pal_efi_saved_cr0 (Results 1 – 1 of 1) sorted by relevance
68 uint64_t pal_efi_saved_cr0; variable259 pal_efi_saved_cr0 = get_cr0(); in pal_efi_call_in_32bit_mode()292 set_cr0(pal_efi_saved_cr0); in pal_efi_call_in_32bit_mode()