void qemu_system_killed(int signal, pid_t pid)

{

    shutdown_signal = signal;

    shutdown_pid = pid;

    no_shutdown = 0;

    qemu_system_shutdown_request();

}

void qemu_system_killed(int signal, pid_t pid)

{

    shutdown_signal = signal;

    shutdown_pid = pid;

    no_shutdown = 0;

    qemu_system_shutdown_request();

}

void FUNC_0(int VAR_0, pid_t VAR_1)

{

    shutdown_signal = VAR_0;

    shutdown_pid = VAR_1;

    no_shutdown = 0;

    qemu_system_shutdown_request();

}

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