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-26 16:29:36 +0200
commit85ec797e614779ad1ff5cbd5e0fbf6e39c99d3a9 (patch)
tree33f7cbcfd03a223dfb8a78664f88e2dbcb5d6395
parentc860f2da149804ea1fee66617e64021596d56a52 (diff)
the object is locked, i checkedpmm-2015-08-26
-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);