83 	unsigned long sctlr, vbar, old, new, mode;  in enter_exception64()  local
100 		sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in enter_exception64()
129 	if (!(sctlr & SCTLR_EL1_SPAN))  in enter_exception64()
140 	if (sctlr & SCTLR_ELx_DSSBS)  in enter_exception64()
177 	u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in get_except32_cpsr()  local
197 	if (sctlr & BIT(31))  in get_except32_cpsr()
204 	if (!(sctlr & BIT(23)))  in get_except32_cpsr()
220 	if (sctlr & BIT(25))  in get_except32_cpsr()
247 	if (sctlr & BIT(30))  in get_except32_cpsr()
273 	u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1);  in enter_exception32()  local
294 	if (sctlr & (1 << 13))  in enter_exception32()