diff options
Diffstat (limited to 'src/arch/i386/core/rdtsc_timer.c')
| -rw-r--r-- | src/arch/i386/core/rdtsc_timer.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/arch/i386/core/rdtsc_timer.c b/src/arch/i386/core/rdtsc_timer.c index 76679173..d2a8cc84 100644 --- a/src/arch/i386/core/rdtsc_timer.c +++ b/src/arch/i386/core/rdtsc_timer.c @@ -25,8 +25,8 @@ FILE_LICENCE ( GPL2_OR_LATER ); */ #include <assert.h> -#include <gpxe/timer.h> -#include <gpxe/timer2.h> +#include <ipxe/timer.h> +#include <ipxe/timer2.h> /** * Number of TSC ticks per microsecond |