1 #include <hal/hwtimer.h>
3 #include <lunaix/generic/isrm.h>
4 #include <lunaix/spike.h>
6 #include "sys/i386_intr.h"
9 #include "hal/apic_timer.h"
14 exception_install_handler();
20 syscall_hndlr(const struct hart_state* hstate);
27 isrm_bindiv(LUNAIX_SYS_CALL, syscall_hndlr);
31 select_platform_timer()
33 struct hwtimer* timer;
35 timer = apic_hwtimer_context();
36 if (timer->supported(timer)) {
40 // TODO select alternatives...
42 panick("no timer to use.");