Searched refs:sctlr_before_ebs (Results 1 – 3 of 3) sorted by relevance
261 if ((state->sctlr_before_ebs & 1) == 0) in efi_init()270 pr_info("SCTLR at EFI stub entry : 0x%08x\n", state->sctlr_before_ebs); in efi_init()
91 u32 sctlr_before_ebs; member
44 efi_entry_state->sctlr_before_ebs = sctlr; in check_platform_features()