[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>
This commit is contained in:
Piotr Jaroszyński
2010-05-26 16:57:34 +02:00
committed by Michael Brown
parent 18d3c12b01
commit 01a4c244db
4 changed files with 100 additions and 0 deletions

View File

@@ -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 */

View File

@@ -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>