[U-Boot-Users] Value of CFG_PCI_MEMBASE

[Sachin Rane, Alphion Communications]

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