1 #include <hal/hwtimer.h>
3 #include <lunaix/spike.h>
4 #include <lunaix/process.h>
9 #include "hal/apic_timer.h"
14 exception_install_handler();
26 extern struct x86_tss _tss;
27 #ifdef CONFIG_ARCH_X86_64
28 _tss.rsps[0] = (ptr_t)current_thread->hstate;
30 _tss.esp0 = (u32_t)current_thread->hstate;