diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/ipxe/linux/linux_time.h | 18 | ||||
| -rw-r--r-- | src/include/ipxe/time.h | 1 | ||||
| -rw-r--r-- | src/include/linux_api.h | 1 |
3 files changed, 19 insertions, 1 deletions
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 */ diff --git a/src/include/ipxe/time.h b/src/include/ipxe/time.h index c74959f8e..673fe098a 100644 --- a/src/include/ipxe/time.h +++ b/src/include/ipxe/time.h @@ -44,6 +44,7 @@ FILE_LICENCE ( GPL2_OR_LATER ); /* Include all architecture-independent time API headers */ #include <ipxe/null_time.h> +#include <ipxe/linux/linux_time.h> /* Include all architecture-dependent time API headers */ #include <bits/time.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> |