Searched refs:hcr_el2 (Results 1 – 6 of 6) sorted by relevance
52 return !(vcpu->arch.hcr_el2 & HCR_RW); in vcpu_el1_is_32bit()57 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS; in vcpu_reset_hcr()59 vcpu->arch.hcr_el2 |= HCR_E2H; in vcpu_reset_hcr()62 vcpu->arch.hcr_el2 |= HCR_TEA; in vcpu_reset_hcr()64 vcpu->arch.hcr_el2 |= HCR_TERR; in vcpu_reset_hcr()67 vcpu->arch.hcr_el2 |= HCR_FWB; in vcpu_reset_hcr()70 vcpu->arch.hcr_el2 &= ~HCR_RW; in vcpu_reset_hcr()78 vcpu->arch.hcr_el2 |= HCR_TID3; in vcpu_reset_hcr()83 return (unsigned long *)&vcpu->arch.hcr_el2; in vcpu_hcr()88 vcpu->arch.hcr_el2 &= ~HCR_TWE; in vcpu_clear_wfe_traps()[all …]
213 u64 hcr_el2; member
34 val = read_sysreg(hcr_el2); in __tlb_switch_to_guest_vhe()36 write_sysreg(val, hcr_el2); in __tlb_switch_to_guest_vhe()58 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in __tlb_switch_to_host_vhe()
129 u64 hcr = vcpu->arch.hcr_el2; in __activate_traps()131 write_sysreg(hcr, hcr_el2); in __activate_traps()145 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in deactivate_traps_vhe()160 write_sysreg(HCR_RW, hcr_el2); in __deactivate_traps_nvhe()172 if (vcpu->arch.hcr_el2 & HCR_VSE) in __deactivate_traps()173 vcpu->arch.hcr_el2 = read_sysreg(hcr_el2); in __deactivate_traps()370 if (!(read_sysreg(hcr_el2) & HCR_RW)) in __hyp_switch_fpsimd()
348 events->exception.serror_pending = !!(vcpu->arch.hcr_el2 & HCR_VSE); in __kvm_arm_vcpu_get_events()
502 msr hcr_el2, x0
