在WinCE的驱动中，那个函数可以实现虚拟地址向物理地址转换呢？

各位大侠，在WinCE驱动中通过物理地址，映射虚拟地址的函数很多。象MmMapIoSpace等，但如果我通过malloc函数得到一个虚拟地址，应该如何转换为物理地址呢？
OALVAtoPA是不能用的，因为NK已经控制内存分配了，当然HalAllocateCommonBuffer可以同时得到物理地址和虚拟地址。
我就想知道一下，如果我只知道一个虚拟地址，WinCE提供了API函数可以转化为物理地址吗？谢谢！！