oops, one URL fix was missing. Add new DirectHW URL

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

diff --git a/util/inteltool/inteltool.h b/util/inteltool/inteltool.h
index 66d1aec259b4482f75ee9569cbb76342b56a0d0c..ca8066fb3973a4d090c637e4acb016035b9bf76f 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
@@ -109,12 +111,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);