#include <hal/hwtimer.h>
-#include <lunaix/generic/isrm.h>
#include <lunaix/spike.h>
#include <lunaix/process.h>
-#include "sys/int_handler.h"
-#include "sys/x86_isa.h"
-#include "sys/hart.h"
+#include <asm/x86_isrm.h>
+
+#include "asm/x86.h"
+#include "asm/hart.h"
#include "hal/apic_timer.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...
-
- panick("no timer to use.");
-}
-
void
update_tss()
{