diff options
| author | Piotr Jaroszyński | 2010-05-26 16:57:34 +0200 |
|---|---|---|
| committer | Michael Brown | 2010-08-19 13:32:53 +0200 |
| commit | 01a4c244db92d0906abc0da2092fc36c73574d1b (patch) | |
| tree | 2134f8d2c1e7a243456946043fcbf1090a3a2ebf /src/include | |
| parent | [linux] Add console (diff) | |
| download | ipxe-01a4c244db92d0906abc0da2092fc36c73574d1b.tar.gz ipxe-01a4c244db92d0906abc0da2092fc36c73574d1b.tar.xz ipxe-01a4c244db92d0906abc0da2092fc36c73574d1b.zip | |
[linux] Add timer
Add linux timer API.
Signed-off-by: Piotr Jaroszyński <p.jaroszynski@gmail.com>
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/ipxe/linux/linux_timer.h | 18 | ||||
| -rw-r--r-- | src/include/ipxe/timer.h | 1 |
2 files changed, 19 insertions, 0 deletions
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 */ diff --git a/src/include/ipxe/timer.h b/src/include/ipxe/timer.h index d59122f2e..d0309655d 100644 --- a/src/include/ipxe/timer.h +++ b/src/include/ipxe/timer.h @@ -45,6 +45,7 @@ FILE_LICENCE ( GPL2_OR_LATER ); /* Include all architecture-independent I/O API headers */ #include <ipxe/efi/efi_timer.h> +#include <ipxe/linux/linux_timer.h> /* Include all architecture-dependent I/O API headers */ #include <bits/timer.h> |