BOOK3S_HFLAG_PAIRED_SINGLE
vcpu->arch.hflags |= BOOK3S_HFLAG_PAIRED_SINGLE;
vcpu->arch.hflags &= ~BOOK3S_HFLAG_PAIRED_SINGLE;
if (!(vcpu->arch.hflags & BOOK3S_HFLAG_PAIRED_SINGLE))
if (vcpu->arch.hflags & BOOK3S_HFLAG_PAIRED_SINGLE) {
if (vcpu->arch.hflags & BOOK3S_HFLAG_PAIRED_SINGLE)