summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-14 10:31:13 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-28 15:48:05 +0200
commitc31edfb7faa877d1d1e62174d1ada82f59505af6 (patch)
treecf68c83698e7cd6fa80cf5ed446ee516fb4d021b
parentaee8d62e1b5e7f0271db72d72355cd4a6c167213 (diff)
the object is locked, i checked
-rw-r--r--vm/vm_resident.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c
index 8640412..07ebb1f 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -529,6 +529,8 @@ void vm_page_more_fictitious(void)
* vm_page_convert:
*
* Attempt to convert a fictitious page into a real page.
+ *
+ * The object referenced by *MP must be locked.
*/
boolean_t vm_page_convert(
@@ -559,7 +561,6 @@ boolean_t vm_page_convert(
fict_m->tabled = FALSE;
/* Fix radix tree entry. */
- /* XXX is the object locked? */
slot = rdxtree_lookup_slot(&fict_m->object->memt,
offset_key(fict_m->offset));
old = rdxtree_replace_slot(slot, real_m);