From d646e5c58c5a72fc543bbb55cec72637f9e9abd4 Mon Sep 17 00:00:00 2001
From: Olga Kornievskaia <aglo@citi.umich.edu>
Date: Thu, 6 Oct 2011 12:38:55 -0400
Subject: [PATCH] [driver] verifier raised issue with lists

first element in the lists (head) doesn't store any entries so
we should skip it when we traverse the list.
---
 sys/nfs41_driver.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/nfs41_driver.c b/sys/nfs41_driver.c
index 2402753..0a82d2e 100644
--- a/sys/nfs41_driver.c
+++ b/sys/nfs41_driver.c
@@ -1521,6 +1521,7 @@ nfs41_downcall (
 
     ExAcquireFastMutex(&downcallLock); 
     pEntry = &downcall->head;
+    pEntry = pEntry->Flink;
     while (pEntry != NULL) {
         cur = (nfs41_updowncall_entry *)CONTAINING_RECORD(pEntry, 
                 nfs41_updowncall_entry, next);
@@ -2696,6 +2697,7 @@ NTSTATUS nfs41_CreateVNetRoot(
 
         ExAcquireFastMutex(&pNetRootContext->mountLock); 
         pEntry = &pNetRootContext->mounts->head;
+        pEntry = pEntry->Flink;
         while (pEntry != NULL) {
             existing_mount = (nfs41_mount_entry *)CONTAINING_RECORD(pEntry, 
                     nfs41_mount_entry, next);