psim_stop(psim *system) { event_queue_schedule_after_signal(psim_event_queue(system), 0 /*NOW*/, cntrl_c_simulation, system); }
schedule_hardware_interrupt_delivery(cpu *processor) { interrupts *ints = cpu_interrupts(processor); if (ints->delivery_scheduled == NULL) { ints->delivery_scheduled = event_queue_schedule(psim_event_queue(cpu_system(processor)), 0, deliver_hardware_interrupt, processor); } }