diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-16 02:18:47 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-28 15:47:56 +0200 |
| commit | 787a6034170b59d55afe8d0a12cb0904f20cb74d (patch) | |
| tree | d20fcc9b98882c7bb62500185cbfb08006fec26a /vm/vm_pageout.c | |
| parent | 069a8a3decf5981cd420014384ead470eac8561c (diff) | |
codify locking contracts
Conflicts:
vm/vm_page.h
Diffstat (limited to 'vm/vm_pageout.c')
| -rw-r--r-- | vm/vm_pageout.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vm/vm_pageout.c b/vm/vm_pageout.c index b676c7b..29cfca7 100644 --- a/vm/vm_pageout.c +++ b/vm/vm_pageout.c @@ -424,6 +424,7 @@ vm_pageout_page( boolean_t precious_clean; assert(m->busy); + assert(have_vm_object_lock(m->object)); /* * Cleaning but not flushing a clean precious page is a |