vcpu_hcr
hcr = vcpu_hcr(vcpu);
bool irq_lines = *vcpu_hcr(v) & (HCR_VI | HCR_VF | HCR_VSE);
*vcpu_hcr(vcpu) |= HCR_VSE;
unsigned long hcr = *vcpu_hcr(vcpu);
*vcpu_hcr(vcpu) = hcr | HCR_TVM;
*vcpu_hcr(vcpu) &= ~HCR_TVM;
unsigned long *hcr = vcpu_hcr(vcpu);