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);
}
