Searched refs:sctlr (Results 1 – 3 of 3) sorted by relevance
169 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in prepare_fault32() local173 if (sctlr & (1 << 30)) in prepare_fault32()175 if (sctlr & (1 << 25)) in prepare_fault32()185 if (sctlr & (1 << 13)) in prepare_fault32()
351 u64 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1); in kvm_vcpu_set_be() local352 sctlr |= (1 << 25); in kvm_vcpu_set_be()353 vcpu_write_sys_reg(vcpu, sctlr, SCTLR_EL1); in kvm_vcpu_set_be()
57 ctxt->sys_regs[SCTLR_EL1] = read_sysreg_el1(sctlr); in __sysreg_save_el1_state()129 write_sysreg_el1(ctxt->sys_regs[SCTLR_EL1], sctlr); in __sysreg_restore_el1_state()
