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 --- src/include/ipxe/linux/linux_time.h | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 src/include/ipxe/linux/linux_time.h (limited to 'src/include/ipxe/linux') diff --git a/src/include/ipxe/linux/linux_time.h b/src/include/ipxe/linux/linux_time.h new file mode 100644 index 000000000..93a257730 --- /dev/null +++ b/src/include/ipxe/linux/linux_time.h @@ -0,0 +1,18 @@ +#ifndef _IPXE_LINUX_TIME_H +#define _IPXE_LINUX_TIME_H + +/** @file + * + * Linux time source + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#ifdef TIME_LINUX +#define TIME_PREFIX_linux +#else +#define TIME_PREFIX_linux __linux_ +#endif + +#endif /* _IPXE_LINUX_TIME_H */ -- cgit v1.2.3-55-g7522