if I remember correctly there should be some a board specific variable
like pci_dram_offset
it is zero for your case.
0xc1000000 is a virtual address ..while pci bar should be programmed with
bus address .
your case bios is not apropiately updating the resource assignment with
0xc0000000 , the kernel_base.
pci_dram_offset is the offset of system memory as seen by PCI devices,
what Hollis needs to look at is the pci_controller's pci_mem_offset.
Ben.
** Sent via the linuxppc-dev mail list. See http://lists.linuxppc.org/