Searched refs:sctlr (Results 1 – 1 of 1) sorted by relevance
87 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in get_except32_cpsr() local107 if (sctlr & BIT(31)) in get_except32_cpsr()114 if (!(sctlr & BIT(23))) in get_except32_cpsr()130 if (sctlr & BIT(25)) in get_except32_cpsr()157 if (sctlr & BIT(30)) in get_except32_cpsr()170 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in prepare_fault32() local179 if (sctlr & (1 << 13)) in prepare_fault32()