84 	unsigned long sctlr, vbar, old, new, mode;  in enter_exception64()  local
101 		sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in enter_exception64()
131 	if (!(sctlr & SCTLR_EL1_SPAN))  in enter_exception64()
142 	if (sctlr & SCTLR_ELx_DSSBS)  in enter_exception64()
179 	u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in get_except32_cpsr()  local
199 	if (sctlr & BIT(31))  in get_except32_cpsr()
206 	if (!(sctlr & BIT(23)))  in get_except32_cpsr()
222 	if (sctlr & BIT(25))  in get_except32_cpsr()
249 	if (sctlr & BIT(30))  in get_except32_cpsr()
275 	u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in enter_exception32()  local
296 	if (sctlr & (1 << 13))  in enter_exception32()