X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.c;fp=src%2Ffilesys%2Ffilesys.c;h=37ea07866ba6496a85dd43797bc7cb4d130d1444;hb=45693e4cf682db525fc167d83bdcf7be919af12b;hp=acd712347859350b0a7ba7cdf37097e42fd96841;hpb=dc83e159fc3dd0301a967aef2b84f1460aa3ef08;p=pintos-anon

diff --git a/src/filesys/filesys.c b/src/filesys/filesys.c
index acd7123..37ea078 100644
--- a/src/filesys/filesys.c
+++ b/src/filesys/filesys.c
@@ -35,7 +35,7 @@ do_format (void)
 
   /* Allocate data sector(s) for the free map file
      and write its file header to disk. */
-  map_hdr = filehdr_allocate (&free_map, bitmap_storage_size (&free_map));
+  map_hdr = filehdr_allocate (&free_map, bitmap_file_size (&free_map));
   if (map_hdr == NULL)
     PANIC ("free map creation failed--disk is too large");
   filehdr_write (map_hdr, FREE_MAP_SECTOR);