--- a/serverboot/default_pager.c	2010-05-19 15:33:02.000000000 +0200
+++ b/serverboot/default_pager.c	2010-05-19 15:32:20.000000000 +0200
@@ -1154,6 +1154,7 @@
 	  {
 	    ddprintf ("%spager_read_offset pager %x: bad page %d >= size %d",
 		    my_name, pager, f_page, pager->size);
+	    mutex_unlock(&pager->lock);
 	    return (union dp_map) (union dp_map *) NO_BLOCK;
 #if 0
 	    panic("%spager_read_offset",my_name);