TIMER_ISR
isr = bus_space_read_4(sxitimer_iot, sxitimer_ioh, TIMER_ISR);
bus_space_write_4(sxitimer_iot, sxitimer_ioh, TIMER_ISR, isr);
TIMER_ISR, TIMER_IRQ(TICKTIMER));