Searched refs:efi_ttbr0 (Results 1 – 1 of 1) sorted by relevance
62 static uint64_t efi_ttbr0; variable81 efi_ttbr0 = 0; in efi_destroy_1t1_map()177 efi_ttbr0 = ASID_TO_OPERAND(ASID_RESERVED_FOR_EFI) | in efi_create_1t1_map()250 set_ttbr0(efi_ttbr0); in efi_arch_enter()