void qemu_timer_notify_cb(void *opaque, QEMUClockType type)

{

    qemu_notify_event();

}

void qemu_timer_notify_cb(void *opaque, QEMUClockType type)

{

    qemu_notify_event();

}

void FUNC_0(void *VAR_0, QEMUClockType VAR_1)

{

    qemu_notify_event();

}

void FUNC_0(void *VAR_0, QEMUClockType VAR_1)
{ qemu_notify_event(); }