我该如何用这个函数MmGetPhysicalAddress（），MmIsNonPagedSystemAddressValid（）

我写一个小驱动，发现访问映射到内存的地址大于128就不能用，我想用MmIsNonPagedSystemAddressValid（）等函数检查一下，它的定义文件在ntddk.h中，我在我的*.c的文件中加上#include \"d:\\ntddk\\inc\\ddk\\ntddk.h\"但我编译时报‘MmIsNonPagedSystemAddressValid’undefined;assuming extern returning int的错误。

我也是刚学用DDK，前两天刚遇到类似问题，用WDM，使用MmGetPhysicalAddress（）时报未定义，后经查是在INCLUDE <WDM.H>后NTDDK.H就不在INCLUDE了,可将NTDDK.H中关于该函数的说明COPY过来,不再INCLUDE,还需LINK相应的LIB. 不知能否解决你的问题.