>While I haven't looked at the code enough to say what it is doing, the
>above mappings are only correct on certain machines. For first generation
>pci machines, I thought both "pci" busses were in the 0xf?xxxxxx range.

They are pci *mem* space.

0x80000000	bandit0 mem space
0xf2000000	bandit0 I/O space
0x90000000	bandit1 mem space
0xf4000000	bandit1 I/O space