#error if TIMER_FREQ too high.
[pintos-anon] / src / devices / intq.c
2004-09-07 Ben PfaffMove serial interrupt queue into new file intq.c.