#include <hal/hwtimer.h>
-#include <asm-generic/isrm.h>
#include <lunaix/spike.h>
#include <lunaix/process.h>
+#include <asm/x86_isrm.h>
+
#include "asm/x86.h"
#include "asm/hart.h"
isrm_bindiv(LUNAIX_SYS_CALL, syscall_hndlr);
}
-struct hwtimer*
-select_platform_timer()
-{
- struct hwtimer* timer;
-
- timer = apic_hwtimer_context();
- if (timer->supported(timer)) {
- return timer;
- }
-
- // TODO select alternatives...
-
- fail("no timer to use.");
-}
-
void
update_tss()
{