Searched refs:sctlr (Results 1 – 3 of 3) sorted by relevance
170 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in exc_vector_base() local173 if (sctlr & SCTLR_V) in exc_vector_base()186 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in kvm_update_psr() local204 if (sctlr & SCTLR_TE) in kvm_update_psr()206 if (sctlr & SCTLR_EE) in kvm_update_psr()
56 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in prepare_fault32() local60 if (sctlr & (1 << 30)) in prepare_fault32()62 if (sctlr & (1 << 25)) in prepare_fault32()72 if (sctlr & (1 << 13)) in prepare_fault32()
50 ctxt->sys_regs[SCTLR_EL1] = read_sysreg_el1(sctlr); in __sysreg_save_state()103 write_sysreg_el1(ctxt->sys_regs[SCTLR_EL1], sctlr); in __sysreg_restore_state()