timer.h
Go to the documentation of this file.00001 #ifndef _GPXE_TIMER_H
00002 #define _GPXE_TIMER_H
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012 FILE_LICENCE ( GPL2_OR_LATER );
00013
00014 #include <gpxe/api.h>
00015 #include <config/timer.h>
00016
00017
00018
00019
00020
00021
00022
00023
00024 #define TIMER_INLINE( _subsys, _api_func ) \
00025 SINGLE_API_INLINE ( TIMER_PREFIX_ ## _subsys, _api_func )
00026
00027
00028
00029
00030
00031
00032
00033
00034 #define PROVIDE_TIMER( _subsys, _api_func, _func ) \
00035 PROVIDE_SINGLE_API ( TIMER_PREFIX_ ## _subsys, _api_func, _func )
00036
00037
00038
00039
00040
00041
00042
00043 #define PROVIDE_TIMER_INLINE( _subsys, _api_func ) \
00044 PROVIDE_SINGLE_API_INLINE ( TIMER_PREFIX_ ## _subsys, _api_func )
00045
00046
00047 #include <gpxe/efi/efi_timer.h>
00048
00049
00050 #include <bits/timer.h>
00051
00052
00053
00054
00055
00056
00057 void udelay ( unsigned long usecs );
00058
00059
00060
00061
00062
00063
00064 unsigned long currticks ( void );
00065
00066
00067
00068
00069
00070
00071 unsigned long ticks_per_sec ( void );
00072
00073
00074 #define TICKS_PER_SEC ( ticks_per_sec() )
00075
00076 #endif