diff options
| -rw-r--r-- | src/mainboard/dell/s1850/reset.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/mainboard/dell/s1850/reset.c b/src/mainboard/dell/s1850/reset.c index cf9e3d8d69..28a019a7d9 100644 --- a/src/mainboard/dell/s1850/reset.c +++ b/src/mainboard/dell/s1850/reset.c @@ -1,9 +1,9 @@ #include <arch/io.h> -#include <device/pci.h> + #include <device/pci_def.h> #include <device/pci_ids.h> #ifndef __ROMCC__ -#include <device/device.h> +#include <device/pci.h> #define PCI_ID(VENDOR_ID, DEVICE_ID) \ ((((DEVICE_ID) & 0xFFFF) << 16) | ((VENDOR_ID) & 0xFFFF)) #define PCI_DEV_INVALID 0 @@ -12,6 +12,8 @@ static inline device_t pci_locate_device(unsigned pci_id, device_t from) { return dev_find_device(pci_id >> 16, pci_id & 0xffff, from); } +#else +#include <arch/romcc_io.h> #endif void soft_reset(void) |