HOST_SS_ACTIVE_PENDING
if (!vcpu_get_flag(vcpu, HOST_SS_ACTIVE_PENDING))
vcpu_set_flag(vcpu, HOST_SS_ACTIVE_PENDING);
vcpu_clear_flag(vcpu, HOST_SS_ACTIVE_PENDING);