TIMER_IRQ
install_io_interrupt_handler(TIMER_IRQ,
install_io_interrupt_handler(TIMER_IRQ, &arch_timer_interrupt, NULL, 0);