void initialize_clock(void) { void set_timer_frequency(void); set_timer_frequency(); lockobj_init(&timerq_lock); eventobj_init(&timerthr_sleep); }
/* installs timer_handler into IRQ0 */ void timer_install() { set_timer_frequency(TICKS_PER_SEC); irq_install_handler(IRQ_TIMER, timer_handler); enable_irq(IRQ_TIMER); }