Hi,I would like to ask if anyone knows how to map addresses beyond 4GB. I am trying to access the GPIO on PPC440EPx by mapping it but the address is 0x1EF600B00, which is way beyond 4GB.May I know how to map this one?Thanks,dell