static void update_interrupt_status(timer_t* timer, interrupt_controller_t* ic) { if(CHECK_BIT_SET(timer->control_bits, TIMER_INTERRUPT_ENABLE_BIT) && CHECK_BIT_SET(timer->control_bits, TIMER_INTERRUPT_FLAG_BIT)) { //at this point, interrupts are enabled and the overflow interrupt has //occured, so we need to signal the processor request_interrupt(ic, timer->IRQ_number); } }
void mono_win32_abort_wait (PVOID thread_info, HANDLE native_thread_handle, DWORD tid) { request_interrupt (thread_info, native_thread_handle, THREAD_WAIT_INFO_PENDING_ABORT_APC_SLOT, abort_apc, tid); }