HCR_NV
val |= HCR_NV | HCR_NV1;
.value = HCR_NV,
.mask = HCR_NV,
.value = HCR_NV,
.mask = HCR_NV | HCR_NV2,
.value = HCR_NV | HCR_NV1,
.mask = HCR_NV | HCR_NV1 | HCR_NV2,
return ((val & (HCR_E2H | HCR_TGE | HCR_NV2 | HCR_NV1 | HCR_NV)) == (HCR_E2H | HCR_NV2 | HCR_NV));
if ((__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_NV) ||
hcr |= HCR_NV | HCR_NV2 | HCR_AT | HCR_TTLB;
if (guest_hcr & HCR_NV) {
if (__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_NV)