/* Sets up the system clock by installing the timer handler * into IRQ0 */ void timer_install() { /* Installs 'timer_handler' to IRQ0 */ irq_install_handler(IRQ0, &timer_handler); set_timer_phase(freq); print_d("Timer Installed...\n"); }
void timer_install(void) { set_timer_phase(100); irq_installHandler(INT_CLOCK, timer_handler); }