inteltool: added more device IDs

[coreboot.git] / util / inteltool / inteltool.h

diff --git a/util/inteltool/inteltool.h b/util/inteltool/inteltool.h
index 65792e4a906db4fac167fc6befa33d983a6c1f7b..bddd17c333361ed28cd1dba553d9c0844ee50ee4 100644 (file)
--- a/util/inteltool/inteltool.h
+++ b/util/inteltool/inteltool.h
@@ -24,9 +24,9 @@
 #include <sys/io.h>
 #endif
 #if (defined(__MACH__) && defined(__APPLE__))
-/* DirectHW is available here: http://www.coresystems.de/en/directhw */
+/* DirectHW is available here: http://www.coreboot.org/DirectHW */
 #define __DARWIN__
-#include <DirectIO/darwinio.h>
+#include <DirectHW/DirectHW.h>
 #endif
 #include <pci/pci.h>
 
@@ -78,6 +78,8 @@
 #define PCI_DEVICE_ID_INTEL_82Q35              0x29b0
 #define PCI_DEVICE_ID_INTEL_82G33              0x29c0
 #define PCI_DEVICE_ID_INTEL_82Q33              0x29d0
+#define PCI_DEVICE_ID_INTEL_X44                0x29e0
+#define PCI_DEVICE_ID_INTEL_32X0               0x29f0
 #define PCI_DEVICE_ID_INTEL_GS45               0x2a40
 #define PCI_DEVICE_ID_INTEL_X58                        0x3405
 #define PCI_DEVICE_ID_INTEL_SCH_POULSBO                0x8100
@@ -111,7 +113,7 @@ int freebsd_wrmsr(int addr, msr_t msr);
 #endif
 typedef struct { uint16_t addr; int size; char *name; } io_register_t;
 
-void *map_physical(unsigned long phys_addr, size_t len);
+void *map_physical(uint64_t phys_addr, size_t len);
 void unmap_physical(void *virt_addr, size_t len);
 
 unsigned int cpuid(unsigned int op);