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-14 10:31:13 +0200
commit2caa235143495cd8cbf6fdfb93b8ddd53d1bec0c (patch)
tree3e8faf0983b5968621b360377173c65ffdefb1ed
parent7ece9cc9e8d86f86f907c710fa7e4d21c7fe2470 (diff)
the object is locked, i checkedpmm-2015-08-14
-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 552b0d7..aa99e61 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -523,6 +523,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(
@@ -551,7 +553,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);