Ticket #2555: vm.diff

src/system/kernel/vm/vm.cpp

@@ -4251 +4251 @@
             }
 
             // mark the page unbusy again
-            page->state = PAGE_STATE_ACTIVE;
+            vm_page_set_state(page, PAGE_STATE_ACTIVE);
             busyCondition.Unpublish();
             break;
         }

src/system/kernel/vm/vm_page.cpp

@@ -1307 +1307 @@
             continue;
         }
 
-        page->state = PAGE_STATE_BUSY;
+        vm_page_set_state(page, PAGE_STATE_BUSY);
         page->busy_writing = true;
 
         ConditionVariable busyCondition;