static void monitor_command_cb(Monitor *mon, const char *cmdline, void *opaque)

{

    monitor_suspend(mon);

    handle_user_command(mon, cmdline);

    monitor_resume(mon);

}

static void monitor_command_cb(Monitor *mon, const char *cmdline, void *opaque)

{

    monitor_suspend(mon);

    handle_user_command(mon, cmdline);

    monitor_resume(mon);

}

static void FUNC_0(Monitor *VAR_0, const char *VAR_1, void *VAR_2)

{

    monitor_suspend(VAR_0);

    handle_user_command(VAR_0, VAR_1);

    monitor_resume(VAR_0);

}

static void FUNC_0(Monitor *VAR_0, const char *VAR_1, void *VAR_2)
{ monitor_suspend(VAR_0); handle_user_command(VAR_0, VAR_1); monitor_resume(VAR_0); }