Searched refs:SCTLR_EL2 (Results 1 – 4 of 4) sorted by relevance
158 u64 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2); in kvm_auth_eretax()
119 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2); in setup_s1_walk()719 vcpu_read_sys_reg(vcpu, SCTLR_EL2)); in compute_par_s1()745 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2); in pan3_enabled()
116 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL2); in enter_exception64()
339 - SCTLR_EL2.EnTP2 (bit 60) must be initialised to 0b1.