[linux] Add timer
authorPiotr Jaroszyński <p.jaroszynski@gmail.com>
Wed, 26 May 2010 14:57:34 +0000 (16:57 +0200)
committerPiotr Jaroszyński <p.jaroszynski@gmail.com>
Sat, 29 May 2010 14:22:44 +0000 (16:22 +0200)
Signed-off-by: Piotr Jaroszyński <p.jaroszynski@gmail.com>
src/config/defaults/linux.h
src/include/gpxe/linux/linux_timer.h [new file with mode: 0644]
src/include/gpxe/timer.h
src/interface/linux/linux_timer.c [new file with mode: 0644]

index 845ba54..ea923a0 100644 (file)
@@ -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 (file)
index 0000000..3a6a485
--- /dev/null
@@ -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 */
index 86722dc..e995103 100644 (file)
@@ -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 (file)
index 0000000..06f5ffa
--- /dev/null
@@ -0,0 +1,81 @@
+/*
+ * Copyright (C) 2008 Michael Brown <mbrown@fensystems.co.uk>.
+ *
+ * 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., 675 Mass Ave, Cambridge, MA 02139, 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
+ *
+ * @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();
+       if (now.tv_usec > start.tv_usec) {
+               ticks += (now.tv_usec - start.tv_usec) / (1000000 / linux_ticks_per_sec());
+       } else {
+               ticks -= (start.tv_usec - now.tv_usec) / (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);