[U-Boot-Users] Value of CFG_PCI_MEMBASE

Hi, In the 'include/configs/ocotea.h" file: 8<----------------------------------------------------------------------------------------------------- #define CFG_PCI_MEMBASE 0x80000000 /* mapped pci memory */ 8<----------------------------------------------------------------------------------------------------- But the Memory map of the Ocotea board (PPC440GX® Evaluation Board User’s Manual) has mentioned about the PCI memory as: Start Address (32 Bit) - 9000 0000 End Address (32 Bit) - 9FFF FFFF Start Address (36 Bit) - 3 0000 0000 End Address (36 Bit) - 3 0FFF FFFF Size - 256MB 256 MB I am not clear about the logic behind the value assigned to CFG_PCI_MEMBASE i.e. 0x80000000 Can you help me to figure it out? Regards, Sachin Rane