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/ipxe/linux | |
| 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/ipxe/linux')
| -rw-r--r-- | src/include/ipxe/linux/linux_timer.h | 18 |
1 files changed, 18 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 */ |