void Timer0Entry(void) { IRQ_ENTRY(); dummy = inr(TC0_SR); os_handler(0); IRQ_EXIT(); }
/*! * \brief Timer 0 interrupt entry. */ void Timer3Entry(void *arg) { outw(REG_IF, INT_TMR3); os_handler(0); }