TIMER_IRQ         447 kernel/timer.c 	printk("clock     -                %d    type=PIT Hz=%d\n", TIMER_IRQ, HZ);
TIMER_IRQ         448 kernel/timer.c 	if(!register_irq(TIMER_IRQ, &irq_config_timer)) {
TIMER_IRQ         449 kernel/timer.c 		enable_irq(TIMER_IRQ);