From 01a4c244db92d0906abc0da2092fc36c73574d1b Mon Sep 17 00:00:00 2001 From: Piotr Jaroszyński Date: Wed, 26 May 2010 16:57:34 +0200 Subject: [linux] Add timer Add linux timer API. Signed-off-by: Piotr Jaroszyński Signed-off-by: Michael Brown --- src/include/ipxe/linux/linux_timer.h | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 src/include/ipxe/linux/linux_timer.h (limited to 'src/include/ipxe/linux') diff --git a/src/include/ipxe/linux/linux_timer.h b/src/include/ipxe/linux/linux_timer.h new file mode 100644 index 000000000..379507417 --- /dev/null +++ b/src/include/ipxe/linux/linux_timer.h @@ -0,0 +1,18 @@ +#ifndef _IPXE_LINUX_TIMER_H +#define _IPXE_LINUX_TIMER_H + +/** @file + * + * iPXE timer API for Linux + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#ifdef TIMER_LINUX +#define TIMER_PREFIX_linux +#else +#define TIMER_PREFIX_linux __linux_ +#endif + +#endif /* _IPXE_LINUX_TIMER_H */ -- cgit v1.2.3-55-g7522