XV6
XV6 使用的是 8253 定时器，在内核初始化的时候调用了
lapicinit(void)
对定时器做了相应的设置。
时钟中断号定义为
IRQ_TIMER
。