diff options
Diffstat (limited to 'serverboot/default_pager.c')
| -rw-r--r-- | serverboot/default_pager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index c40f7181..aa7b0885 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -1154,6 +1154,7 @@ pager_read_offset(pager, offset) { 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); |