diff --git a/src/system/kernel/vm/vm_page.cpp b/src/system/kernel/vm/vm_page.cpp
index 6ac036134d..ef31a9d1d1 100644
--- a/src/system/kernel/vm/vm_page.cpp
+++ b/src/system/kernel/vm/vm_page.cpp
@@ -3441,7 +3441,14 @@ void
 vm_page_requeue(struct vm_page *page, bool tail)
 {
 	PAGE_ASSERT(page, page->Cache() != NULL);
-	DEBUG_PAGE_ACCESS_CHECK(page);
+	page->Cache()->AssertLocked();
+	// DEBUG_PAGE_ACCESS_CHECK(page);
+		// TODO: This assertion cannot be satisfied by idle_scan_active_pages()
+		// when it requeues busy pages. The reason is that vm_soft_fault()
+		// (respectively fault_get_page()) and the file cache keep newly
+		// allocated pages accessed while they are reading them from disk. It
+		// would probably be better to change that code and reenable this
+		// check.
 
 	VMPageQueue *queue = NULL;