新手再问：如何在驱动程序中使用浮点数的老问题

我在passthru的protocol.c中的PtPnPNetEventReconfigure函数加入如下代码来保存浮点数运行环境
ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL);
KFLOATING_SAVE FloatSave;
NTSTATUS status = KeSaveFloatingPointState(&FloatSave);
double floatval;
if (NT_SUCCESS(status))
  {
floatval=1.0;
  KeRestoreFloatingPointState(&FloatSave);
  }
在编译的时候告诉我KeGetCurrentIrql,DISPATCH_LEVEL,KFLOATING_SAVE ，KeSaveFloatingPointState，KeRestoreFloatingPointState都是undefined identifier，看文档里说需要包括ntddk.h，似乎没什么用，一样出错，大侠支招？