Various cosmetic and coding style fixes in src/devices.
[coreboot.git] / src / include / device / pci.h
index 131564c8c586f3e37d59f2198e7e7dcdd8394812..6af723d7453964ba849938706697ccacddf44448 100644 (file)
@@ -15,6 +15,7 @@
 #ifndef PCI_H
 #define PCI_H
 
+#include <stdint.h>
 #include <device/pci_def.h>
 #include <device/resource.h>
 #include <device/device.h>