Searched refs:hcrx_el2 (Results 1 – 4 of 4) sorted by relevance
682 vcpu->arch.hcrx_el2 = HCRX_EL2_SMPME; in vcpu_set_hcrx()685 vcpu->arch.hcrx_el2 |= (HCRX_EL2_MSCEn | HCRX_EL2_MCE2); in vcpu_set_hcrx()688 vcpu->arch.hcrx_el2 |= HCRX_EL2_TCR2En; in vcpu_set_hcrx()691 vcpu->arch.hcrx_el2 |= HCRX_EL2_EnFPM; in vcpu_set_hcrx()
755 u64 hcrx_el2; member
174 vcpu->arch.hcrx_el2 = host_vcpu->arch.hcrx_el2; in pkvm_vcpu_init_traps()
261 u64 hcrx = vcpu->arch.hcrx_el2; in __activate_traps_common()