S3C2440的虚拟地址是可以指定的?该如何解决

S3C2440的虚拟地址是可以指定的?
我看到有资料说"S3C2440的基地址是0x56000000,WIN CE系统把它映射到虚拟地址0xB1600000".我有点纳闷了,不是用MmMapIOSpace()这个函数来把物理地址映射到虚拟地址的吗?那怎么就可以事先指定呢("把物理地址0x56000000 对应到虚拟地址0xB1600000")?或者说用MmMapIOSpace()这个函数去映射0x56000000这个物理地址就一定能得到一个值为0xB1600000的虚拟地址?请高手指点,万分感谢!
------解决方案--------------------
自己好好研究吧