Added set_timer(usec) function
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 19 Jan 2010 23:22:24 +0000 (15:22 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 19 Jan 2010 23:22:24 +0000 (15:22 -0800)
commit978bbc71b1e923e1c8e72fdf63d0e33e60ff9edd
tree6149547f70b62685cc2137d8fa7ba59c191224c8
parentab51af639eb351b0fba6874bc422385636de7171
Added set_timer(usec) function

On i386, it uses lapic_set_timer; on SPARC it uses
the hacked-up RAMP interrupt timer.
kern/arch/i386/apic.c
kern/arch/sparc/sparc.h
kern/arch/sparc/timer.c
kern/arch/sparc/timer.h
kern/include/timing.h