diff options
Diffstat (limited to 'drivers/clocksource/efi.c')
-rw-r--r-- | drivers/clocksource/efi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/clocksource/efi.c b/drivers/clocksource/efi.c index c92c35b112..59fd9918a1 100644 --- a/drivers/clocksource/efi.c +++ b/drivers/clocksource/efi.c @@ -1,6 +1,6 @@ #include <common.h> #include <efi.h> -#include <mach/efi.h> +#include <efi/efi.h> #include <clock.h> #ifdef __x86_64__ |