Searched refs:sctlr_after_ebs (Results 1 – 3 of 3) sorted by relevance
93 u32 sctlr_after_ebs; member
263 else if ((state->sctlr_after_ebs & 1) == 0) in efi_init()272 pr_info("SCTLR after ExitBootServices(): 0x%08x\n", state->sctlr_after_ebs); in efi_init()
76 &efi_entry_state->sctlr_after_ebs); in efi_handle_post_ebs_state()
