Use TIMER_FREQ of 19 for grading priority-fifo.
[pintos-anon] / src / threads / intr-stubs.S
2005-01-21 Ben PfaffSet up a frame pointer on interrupt entry, to improve...