diff options
Diffstat (limited to 'src/drivers/bus/pci.c')
| -rw-r--r-- | src/drivers/bus/pci.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/drivers/bus/pci.c b/src/drivers/bus/pci.c index 8899e6e1a..17cee23aa 100644 --- a/src/drivers/bus/pci.c +++ b/src/drivers/bus/pci.c @@ -26,9 +26,9 @@ FILE_LICENCE ( GPL2_OR_LATER ); #include <stdio.h> #include <string.h> #include <errno.h> -#include <gpxe/tables.h> -#include <gpxe/device.h> -#include <gpxe/pci.h> +#include <ipxe/tables.h> +#include <ipxe/device.h> +#include <ipxe/pci.h> /** @file * |