HSTATUS_VGEIN
new_hstatus = old_hstatus & ~HSTATUS_VGEIN;
new_hstatus = old_hstatus & ~HSTATUS_VGEIN;
new_hstatus = old_hstatus & ~HSTATUS_VGEIN;
new_hstatus = old_hstatus & ~HSTATUS_VGEIN;
vcpu->arch.guest_context.hstatus &= ~HSTATUS_VGEIN;