inteltool: added more device IDs

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

diff --git a/util/inteltool/inteltool.h b/util/inteltool/inteltool.h
index 66d1aec259b4482f75ee9569cbb76342b56a0d0c..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__))
-/* DirectIO is available here: http://www.coresystems.de/en/directio */
+/* DirectHW is available here: http://www.coreboot.org/DirectHW */
 #define __DARWIN__
-#include <DirectIO/darwinio.h>
+#include <DirectHW/DirectHW.h>
 #endif
 #include <pci/pci.h>
 
@@ -44,6 +44,7 @@
 #define PCI_DEVICE_ID_INTEL_ICH2               0x2440
 #define PCI_DEVICE_ID_INTEL_ICH4               0x24c0
 #define PCI_DEVICE_ID_INTEL_ICH4M              0x24cc
+#define PCI_DEVICE_ID_INTEL_ICH5               0x24d0
 #define PCI_DEVICE_ID_INTEL_ICH6               0x2640
 #define PCI_DEVICE_ID_INTEL_ICH7DH             0x27b0
 #define PCI_DEVICE_ID_INTEL_ICH7               0x27b8
@@ -66,6 +67,7 @@
 #define PCI_DEVICE_ID_INTEL_82810E_MC          0x7124
 #define PCI_DEVICE_ID_INTEL_82830M             0x3575
 #define PCI_DEVICE_ID_INTEL_82845              0x1a30
+#define PCI_DEVICE_ID_INTEL_82865              0x2570
 #define PCI_DEVICE_ID_INTEL_82915              0x2580
 #define PCI_DEVICE_ID_INTEL_82945P             0x2770
 #define PCI_DEVICE_ID_INTEL_82945GM            0x27a0
@@ -76,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
@@ -109,12 +113,12 @@ 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);
 int print_intel_core_msrs(void);
-int print_mchbar(struct pci_dev *nb);
+int print_mchbar(struct pci_dev *nb, struct pci_access *pacc);
 int print_pmbase(struct pci_dev *sb, struct pci_access *pacc);
 int print_rcba(struct pci_dev *sb);
 int print_gpios(struct pci_dev *sb);