From: Owen Smith <owen.smith@citrix.com>
Date: Fri, 14 Jun 2019 16:36:01 +0000 (+0100)
Subject: Use NonPagedPool for Active device properties
X-Git-Tag: 9.0.0-rc1~17
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=0b4d6f1a58e77182fca33074d38effaaba81eb7f;p=pvdrivers%2Fwin%2Fxenbus.git

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 ca53ad6..1b9ca98 100644
--- 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)