thorpej@nas.nasa.gov said:
> Actually, the PCI bus code should do that, and pci_mapreg_map() should
> be adjusted accordingly. 

Agreed. There is a minor problem however - some PCI devices
don't use pci_mapreg_map(). (This "cacheable" confusion which
I wanted to fix a while ago...)

best regards
Matthias