.

bigfile/tests/test_virtmem.c

@@ -1641,7 +1641,7 @@ int main()
 {
     tap_fail_callback = abort;  // XXX to catch failure immediately
 
-  if (0) {
+  if (1) {
     test_vmamap();
     test_file_access_synthetic();
     test_file_access_pagefault();

bigfile/virtmem.c

@@ -505,9 +505,15 @@ void fileh_dirty_discard(BigFileH *fileh)
         BUG_ON(page->state != PAGE_DIRTY);
 
         fprintf(stderr, "discard p%ld\n", page->f_pgoffset);
-        pagemap_del(&fileh->pagemap, page->f_pgoffset);
-        page_drop_memory(page);
-        page_del(page);
+        // FIXME do pagemap_del + drop_ram + page_del unconditionally
+        //       (just need think again and to update !wcfs discard test)
+        if (fileh->mmap_overlay) {
+            pagemap_del(&fileh->pagemap, page->f_pgoffset);
+            page_drop_memory(page);
+            page_del(page);
+        } else {
+            page_drop_memory(page);
+        }
     }
 
     BUG_ON(!list_empty(&fileh->dirty_pages));