From 01a4c244db92d0906abc0da2092fc36c73574d1b Mon Sep 17 00:00:00 2001
From: Piotr Jaroszyński
Date: Wed, 26 May 2010 16:57:34 +0200
Subject: [linux] Add timer

Add linux timer API.

Signed-off-by: Piotr Jaroszyński <p.jaroszynski@gmail.com>
Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/include/ipxe/linux/linux_timer.h | 18 ++++++++++++++++++
 src/include/ipxe/timer.h             |  1 +
 2 files changed, 19 insertions(+)
 create mode 100644 src/include/ipxe/linux/linux_timer.h

(limited to 'src/include/ipxe')

diff --git a/src/include/ipxe/linux/linux_timer.h b/src/include/ipxe/linux/linux_timer.h
new file mode 100644
index 000000000..379507417
--- /dev/null
+++ b/src/include/ipxe/linux/linux_timer.h
@@ -0,0 +1,18 @@
+#ifndef _IPXE_LINUX_TIMER_H
+#define _IPXE_LINUX_TIMER_H
+
+/** @file
+ *
+ * iPXE timer API for Linux
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER );
+
+#ifdef TIMER_LINUX
+#define TIMER_PREFIX_linux
+#else
+#define TIMER_PREFIX_linux __linux_
+#endif
+
+#endif /* _IPXE_LINUX_TIMER_H */
diff --git a/src/include/ipxe/timer.h b/src/include/ipxe/timer.h
index d59122f2e..d0309655d 100644
--- a/src/include/ipxe/timer.h
+++ b/src/include/ipxe/timer.h
@@ -45,6 +45,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 
 /* Include all architecture-independent I/O API headers */
 #include <ipxe/efi/efi_timer.h>
+#include <ipxe/linux/linux_timer.h>
 
 /* Include all architecture-dependent I/O API headers */
 #include <bits/timer.h>
-- 
cgit v1.2.3-55-g7522