Base address of i ports

Hello,
      in back light driver , s2440.h file:
 #define IOP_BASE      0xB1600000 // 0x56000000  
 
Port base address is defined as above, where 0x56000000 is the address
given in data sheet.how 0xB1600000 is used as base addres or how it is
calculated.

I think that is after the memory management unit relocates the address
space...

Hello, 
I think it's just b y setting the MSB.
BUT you shouldn't have to care about that and use the
virtualAlloc/virtualCopy functions that do it for you.
domodom