tornado2.2 vxworks5.5 目标机为单板机pentium4，
加电后，我的PCI卡，用pciFindDevice验证是正确的，
然后看到其中的base address0为0xfb800000，
用pciConfigInLong/OutLong函数可以对配置空间进行读写正常。
但是不清楚这个PCI的memory空间怎样映射到单板机的内存上？？？
映射是在BSP中实现的吗？
我查了单板机对应的BSP文件没有发现有PCI_MEMORY的有关定义，也没有sysbyspci.c这个文件。是不是要修改BSP了？？
另外再问一下，BAR0这个地址初始是0xfb800000，是不是在映射后应该符值改为映射后得到的物理地址？？
请大家帮帮忙呀。感谢！！
