Lines Matching refs:sctlr
94 unsigned long sctlr, vbar, old, new, mode;
111 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);
116 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL2);
146 if (!(sctlr & SCTLR_EL1_SPAN))
157 if (sctlr & SCTLR_ELx_DSSBS)
194 u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);
214 if (sctlr & BIT(31))
221 if (!(sctlr & BIT(23)))
237 if (sctlr & BIT(25))
264 if (sctlr & BIT(30))
290 u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);
311 if (sctlr & (1 << 13))