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 | 2a16fe6746b96aff3b54c36e02ad1628ecf0dd8e (patch) | |
| tree | c571e3380c45fd533f262cc518ab9fe778ce25af /serverboot/default_pager.c | |
| parent | c579585e0ae5e0e762291d51209fadf06f220093 (diff) | |
Fix missing mutex unlock.
* serverboot/default_pager.c (pager_read_offset): Properly unlock the mutex
before returning NO_BLOCK.
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); |