Index: vfs_bio.c
===================================================================
RCS file: /cvsroot/src/sys/kern/vfs_bio.c,v
retrieving revision 1.262
diff -u -p -r1.262 vfs_bio.c
--- vfs_bio.c	28 Oct 2016 20:17:27 -0000	1.262
+++ vfs_bio.c	18 Dec 2016 06:04:41 -0000
@@ -1597,16 +1599,19 @@ biointr(void *cookie)
 
 	ci = curcpu();
 
+	s = splvm();
 	while (!TAILQ_EMPTY(&ci->ci_data.cpu_biodone)) {
 		KASSERT(curcpu() == ci);
 
-		s = splvm();
 		bp = TAILQ_FIRST(&ci->ci_data.cpu_biodone);
 		TAILQ_REMOVE(&ci->ci_data.cpu_biodone, bp, b_actq);
 		splx(s);
 
 		biodone2(bp);
+
+		s = splvm();
 	}
+	splx(s);
 }
 
 /*