From d979d9cd64c8bcc95f9c860a6e3a912b4fb37e08 Mon Sep 17 00:00:00 2001
From: Francois Gouget <fgouget@free.fr>
Date: Tue, 15 May 2012 09:45:07 +0200
Subject: [PATCH] ntoskrnl.exe: Fix the name of a POOL_TYPE value.

---
 include/ddk/wdm.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/ddk/wdm.h b/include/ddk/wdm.h
index 3865f7f59fa..85d3da56aed 100644
--- a/include/ddk/wdm.h
+++ b/include/ddk/wdm.h
@@ -171,7 +171,7 @@ typedef enum _POOL_TYPE {
   NonPagedPool,
   PagedPool,
   NonPagedPoolMustSucceed,
-  UnkownType,
+  DontUseThisType,
   NonPagedPoolCacheAligned,
   PagedPoolCacheAligned,
   NonPagedPoolCacheAlignedMustS,