GUEST_SS_ACTIVE_PENDING
vcpu_clear_flag(vcpu, GUEST_SS_ACTIVE_PENDING);
vcpu_set_flag(vcpu, GUEST_SS_ACTIVE_PENDING);
if (vcpu_get_flag(vcpu, GUEST_SS_ACTIVE_PENDING))