diff options
| author | Sergio Lopez <sergio.lopez@sinrega.org> | 2010-08-27 00:08:36 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2010-08-27 00:08:36 +0200 |
| commit | a60414ee7fdabb2bdfb17fe82b9a09f811bd2de0 (patch) | |
| tree | eb3fdfd58aa362269a6182ac986f5b9b71cd9376 | |
| parent | 7506cc4fb025da2b3741c9976aaf037d40bca73e (diff) | |
Fix missing mutex unlock.
* serverboot/default_pager.c (pager_read_offset): Properly unlock the mutex
before returning NO_BLOCK.
| -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); |