Add the rt linux 4.1.3-rt3 as base

[kvmfornfv.git] / kernel / arch / m68k / hp300 / time.h

diff --git a/kernel/arch/m68k/hp300/time.h b/kernel/arch/m68k/hp300/time.h
new file mode 100644 (file)
index 0000000..f5583ec
--- /dev/null
+++ b/kernel/arch/m68k/hp300/time.h
@@ -0,0 +1,2 @@
+extern void hp300_sched_init(irq_handler_t vector);
+extern u32 hp300_gettimeoffset(void);