.

bigfile/tests/test_virtmem.c

@@ -1244,9 +1244,13 @@ void test_file_access_mmapbase(void)
 
     ok1(list_empty(&ram->lru_list));
 
-    /* read page[0] */
+    /* read page[0] - served from base mmap and no RAM page is loaded */
     ok1(B(vma, 0*PSb) == 100);
 
+    ok1(!M(vma, 0));    CHECK_NOPAGE(       100                      );
+    ok1(!M(vma, 1));    CHECK_NOPAGE(       101                      );
+    ok1(!M(vma, 2));    CHECK_NOPAGE(       102                      );
+    ok1(!M(vma, 3));    CHECK_NOPAGE(       103                      );
 }