void add_migration_state_change_notifier(Notifier *notify)

{

    notifier_list_add(&migration_state_notifiers, notify);

}

void add_migration_state_change_notifier(Notifier *notify)

{

    notifier_list_add(&migration_state_notifiers, notify);

}

void FUNC_0(Notifier *VAR_0)

{

    notifier_list_add(&migration_state_notifiers, VAR_0);

}

void FUNC_0(Notifier *VAR_0)
{ notifier_list_add(&migration_state_notifiers, VAR_0); }