From 840e136c69ef02c951b10a9eb527aa28bdac68c0 Mon Sep 17 00:00:00 2001
From: Olga Kornievskaia <aglo@citi.umich.edu>
Date: Thu, 3 May 2012 17:16:56 -0400
Subject: [PATCH] [driver] freeing openlist if driver unloaded

---
 sys/nfs41_driver.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/nfs41_driver.c b/sys/nfs41_driver.c
index 75eb34c..67da7e7 100644
--- a/sys/nfs41_driver.c
+++ b/sys/nfs41_driver.c
@@ -6875,6 +6875,8 @@ unload:
         RxFreePool(upcall);
     if (downcall)
         RxFreePool(downcall);
+    if (openlist)
+        RxFreePool(openlist);
     RxUnload(drv);
 
     DbgP("driver unloaded %p\n", drv);