From d5bf527dac19839ad018951fc57fa8aa778041ff Mon Sep 17 00:00:00 2001
From: Bill Zissimopoulos <billziss@navimatics.com>
Date: Fri, 12 Feb 2016 15:17:35 -0800
Subject: [PATCH] sys: FspDeviceDelete: fill out device extension with the
 value 0xBD when device is deleted

---
 src/sys/device.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/sys/device.c b/src/sys/device.c
index d8461554..dd179af9 100644
--- a/src/sys/device.c
+++ b/src/sys/device.c
@@ -197,6 +197,11 @@ VOID FspDeviceDelete(PDEVICE_OBJECT DeviceObject)
         return;
     }
 
+#if DBG
+    RtlFillMemory(&DeviceExtension->Kind,
+        (PUINT8)DeviceObject + DeviceObject->Size - (PUINT8)&DeviceExtension->Kind, 0xBD);
+#endif
+
     IoDeleteDevice(DeviceObject);
 }