请问Tom等高手：如何访问映射内存？（50分）

我使用S5933做为PCI控制器，使用了32K的外部SDRAM做为存储器。在NT下开发设备驱动，设备的资源都已经获取，其中内存部分的物理地址为0x000D8000，我用HalTranslateBusAddress和MmMapIoSpace映射内存到虚拟空间，可是我用Softice查看该线性地址，发现该地址处的数据是物理地址，例如MmMapIoSpace返回的地址为0xF379D000，则
0xF379D000: 00 80 0D 00。我用Read_Register_ULONG无法访问到正确的数据，请问此处应该如何通过线性地址读写设备的物理地址空间。

通过和硬件工程师一块测试，发现驱动部分没有问题，可能是硬件除了问题。