#include <com32.h>
#include <syslinux/pmapi.h>
#include <kaboom.h>
+#include <timer.h>
extern char core_xfer_buf[65536];
extern char core_cache_buf[65536];
/*
- * Basic timer function...
- */
-typedef uint32_t jiffies_t;
-extern volatile jiffies_t __jiffies, __ms_timer;
-static inline jiffies_t jiffies(void)
-{
- return __jiffies;
-}
-typedef uint32_t mstime_t;
-typedef int32_t mstimediff_t;
-static inline mstime_t ms_timer(void)
-{
- return __ms_timer;
-}
-
-/*
* Helper routine to return a specific set of flags
*/
static inline void set_flags(com32sys_t *regs, uint32_t flags)
--- /dev/null
+#ifndef TIMER_H
+#define TIMER_H
+
+/*
+ * Basic timer function...
+ */
+typedef uint32_t jiffies_t;
+extern volatile jiffies_t __jiffies, __ms_timer;
+static inline jiffies_t jiffies(void)
+{
+ return __jiffies;
+}
+
+typedef uint32_t mstime_t;
+typedef int32_t mstimediff_t;
+static inline mstime_t ms_timer(void)
+{
+ return __ms_timer;
+}
+
+#endif /* TIMER_H */