From 6ed905aba298136dee5911a33e9692c7bf23335b Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Fri, 4 May 2012 17:53:23 +0100
Subject: [time] Add Linux time source using gettimeofday()

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/include/linux_api.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/include/linux_api.h')

diff --git a/src/include/linux_api.h b/src/include/linux_api.h
index 066cdd305..94dc991f0 100644
--- a/src/include/linux_api.h
+++ b/src/include/linux_api.h
@@ -37,7 +37,6 @@ FILE_LICENCE(GPL2_OR_LATER);
 #include <linux/types.h>
 #include <linux/posix_types.h>
 typedef __kernel_pid_t pid_t;
-typedef __kernel_time_t time_t;
 typedef __kernel_suseconds_t suseconds_t;
 typedef __kernel_loff_t loff_t;
 #include <linux/time.h>
-- 
cgit v1.2.3-55-g7522