/kernel/trunk/arch/ia64/src/drivers/it.c |
---|
35,6 → 35,8 |
#include <arch/barrier.h> |
#include <time/clock.h> |
void keyboard(void); |
/** Initialize Interval Timer. */ |
void it_init(void) |
{ |
63,4 → 65,5 |
itm_write(itc_read() + IT_DELTA); /* program next interruption */ |
srlz_d(); /* propagate changes */ |
clock(); |
keyboard(); |
} |