Use NonPagedPool for Active device properties

ActiveDeviceId and ActiveInstanceId can be used at DISPATCH_LEVEL, and
therefore cannot use PagedPool. When these values are returned via IRPs,
the value is copied into a PagedPool buffer for the IRP to use.

Signed-off-by: Owen Smith <owen.smith@citrix.com>

diff --git a/src/xenfilt/driver.c b/src/xenfilt/driver.c
index ca53ad6e30578fb1eb2e7dd44096721f870eb475..1b9ca98d9cab57248626856463cb1ef870796333 100644 (file)
--- a/src/xenfilt/driver.c
+++ b/src/xenfilt/driver.c
@@ -257,7 +257,7 @@ __DriverGetActive(
         goto fail1;
 
     Length = Ansi[0].Length + sizeof (CHAR);
-    *Value = __AllocatePoolWithTag(PagedPool, Length, 'TLIF');
+    *Value = __AllocatePoolWithTag(NonPagedPool, Length, 'TLIF');
 
     status = STATUS_NO_MEMORY;
     if (*Value == NULL)