HCR_TWE
#define HCR_GUEST_FLAGS (HCR_TSC | HCR_TSW | HCR_TWE | HCR_TWI | HCR_VM | \
return ((is_wfe && (hcr_el2 & HCR_TWE)) ||
vcpu->arch.hcr_el2 &= ~HCR_TWE;
vcpu->arch.hcr_el2 |= HCR_TWE;
hyp_vcpu->vcpu.arch.hcr_el2 &= ~(HCR_TWI | HCR_TWE);
(HCR_TWI | HCR_TWE);
hyp_vcpu->vcpu.arch.hcr_el2 &= ~(HCR_TWE | HCR_TWI);
hyp_vcpu->vcpu.arch.hcr_el2 |= hcr_el2 & (HCR_TWE | HCR_TWI);
if (!(guest_hcr & HCR_TWE))