void qemu_system_killed(int signal, pid_t pid)

{

    shutdown_signal = signal;

    shutdown_pid = pid;

    no_shutdown = 0;



    /* Cannot call qemu_system_shutdown_request directly because

     * we are in a signal handler.

     */

    shutdown_requested = 1;

    qemu_notify_event();

}

void qemu_system_killed(int signal, pid_t pid)

{

    shutdown_signal = signal;

    shutdown_pid = pid;

    no_shutdown = 0;



    





    shutdown_requested = 1;

    qemu_notify_event();

}

    shutdown_requested = 1;     shutdown_requested = 1;
void FUNC_0(int VAR_0, pid_t VAR_1)

{

    shutdown_signal = VAR_0;

    shutdown_pid = VAR_1;

    no_shutdown = 0;



    





    shutdown_requested = 1;

    qemu_notify_event();

}

void FUNC_0(int VAR_0, pid_t VAR_1)
{ shutdown_signal = VAR_0; shutdown_pid = VAR_1; no_shutdown = 0; shutdown_requested = 1; qemu_notify_event(); }