.

bigfile/tests/test_virtmem.c

@@ -1187,7 +1187,7 @@ int mmapfile_remmap_blk_read(VMA *vma, BigFile *file, blk_t blk) {
     return 0;
 }
 
-void mmapfile_munmap(BigFile *file, VMA *vma) {
+void mmapfile_munmap(VMA *vma, BigFile *file) {
     BigFileMMap *f = upcast(BigFileMMap*, file);
     size_t len = vma->addr_stop - vma->addr_start;