HCR_NV2
.mask = HCR_NV | HCR_NV2,
.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));
hcr |= HCR_NV | HCR_NV2 | HCR_AT | HCR_TTLB;
guest_hcr |= HCR_NV2;