DDK开发中遇到的地址映射的问题（急！请高手帮忙！）

我在开发一块专用卡的WDM驱动时遇到如下问题：
我需要在内核分配一段内存地址，然后将这段地址的首地址送入卡的某个固定地址（例如0x80000010），这块卡就会自动去找那个地址，并将从那个地址起的0x600个字节读入卡中。请问：
1. 我用什么函数分配地址?我使用的是MmAllocateNonCachedMemory
2. 我如何将分配后的虚拟地址转换为物理地址?(MmGetPhysicalAddress在WDM中不可用.)
3. 我看到有人使用MDL,请指教其使用方法.
请高手告诉我好的方法.谢谢!