[gPXE-devel] [PATCH 09/33] [linux] Add timer

[Piotr Jaroszyński]

Add linux timer API.

Signed-off-by: Piotr Jaroszyński <p.jaroszynski at gmail.com>
---
 src/config/defaults/linux.h          |    1 +
 src/include/gpxe/linux/linux_timer.h |   18 ++++++++
 src/include/gpxe/timer.h             |    1 +
 src/interface/linux/linux_timer.c    |   80 ++++++++++++++++++++++++++++++++++
 4 files changed, 100 insertions(+), 0 deletions(-)
 create mode 100644 src/include/gpxe/linux/linux_timer.h
 create mode 100644 src/interface/linux/linux_timer.c

diff --git a/src/config/defaults/linux.h b/src/config/defaults/linux.h
index 91f85c4..67f53a3 100644
--- a/src/config/defaults/linux.h
+++ b/src/config/defaults/linux.h
@@ -8,6 +8,7 @@
  */
 
 #define CONSOLE_LINUX
+#define TIMER_LINUX
 
 #define IMAGE_SCRIPT
 
diff --git a/src/include/gpxe/linux/linux_timer.h b/src/include/gpxe/linux/linux_timer.h
new file mode 100644
index 0000000..3a6a485
--- /dev/null
+++ b/src/include/gpxe/linux/linux_timer.h
@@ -0,0 +1,18 @@
+#ifndef _GPXE_LINUX_TIMER_H
+#define _GPXE_LINUX_TIMER_H
+
+/** @file
+ *
+ * gPXE timer API for Linux
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER );
+
+#ifdef TIMER_LINUX
+#define TIMER_PREFIX_linux
+#else
+#define TIMER_PREFIX_linux __linux_
+#endif
+
+#endif /* _GPXE_LINUX_TIMER_H */
diff --git a/src/include/gpxe/timer.h b/src/include/gpxe/timer.h
index 86722dc..e995103 100644
--- a/src/include/gpxe/timer.h
+++ b/src/include/gpxe/timer.h
@@ -45,6 +45,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 
 /* Include all architecture-independent I/O API headers */
 #include <gpxe/efi/efi_timer.h>
+#include <gpxe/linux/linux_timer.h>
 
 /* Include all architecture-dependent I/O API headers */
 #include <bits/timer.h>
diff --git a/src/interface/linux/linux_timer.c b/src/interface/linux/linux_timer.c
new file mode 100644
index 0000000..ec78fc0
--- /dev/null
+++ b/src/interface/linux/linux_timer.c
@@ -0,0 +1,80 @@
+/*
+ * Copyright (C) 2010 Piotr Jaroszyński <p.jaroszynski at gmail.com>
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License as
+ * published by the Free Software Foundation; either version 2 of the
+ * License, or any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
+FILE_LICENCE(GPL2_OR_LATER);
+
+#include <gpxe/timer.h>
+
+#include <linux_api.h>
+
+/** @file
+ *
+ * gPXE timer API for linux
+ *
+ */
+
+/**
+ * Delay for a fixed number of microseconds
+ *
+ * @v usecs		Number of microseconds for which to delay
+ */
+static void linux_udelay(unsigned long usecs)
+{
+	linux_usleep(usecs);
+}
+
+/**
+ * Get number of ticks per second
+ *
+ * @ret ticks_per_sec	Number of ticks per second
+ */
+static unsigned long linux_ticks_per_sec(void)
+{
+	return 1000;
+}
+
+/**
+ * Get current system time in ticks
+ *
+ * linux doesn't provide an easy access to jiffies so implement it by measuring
+ * the time since the first call to this function.
+ *
+ * @ret ticks		Current time, in ticks
+ */
+static unsigned long linux_currticks(void)
+{
+	static struct timeval start;
+	static int initialized = 0;
+
+	if (! initialized) {
+		linux_gettimeofday(&start, NULL);
+		initialized = 1;
+	}
+
+	struct timeval now;
+	linux_gettimeofday(&now, NULL);
+
+	unsigned long ticks = (now.tv_sec - start.tv_sec) * linux_ticks_per_sec();
+	ticks += (now.tv_usec - start.tv_usec) / (long)(1000000 / linux_ticks_per_sec());
+
+	return ticks;
+}
+
+PROVIDE_TIMER(linux, udelay, linux_udelay);
+PROVIDE_TIMER(linux, currticks, linux_currticks);
+PROVIDE_TIMER(linux, ticks_per_sec, linux_ticks_per_sec);
-- 
1.7.1