Searched refs:efi_ttbr0 (Results 1 – 1 of 1) sorted by relevance
67 static uint64_t efi_ttbr0; variable86 efi_ttbr0 = 0; in efi_destroy_1t1_map()180 efi_ttbr0 = ASID_TO_OPERAND(ASID_RESERVED_FOR_EFI) | in efi_create_1t1_map()249 set_ttbr0(efi_ttbr0); in efi_arch_enter()