Function get_dir_entries

src/fat_common.c:45–55

}

unsigned int get_dir_entries(const struct fat_boot_sector *fat_header)
{
  const unsigned int hi=fat_header->dir_entries[1];
  const unsigned int lo=fat_header->dir_entries[0];
  /*@ assert 0 <= hi < 1<<8; */
  /*@ assert 0 <= hi<<8 < 1<<16; */
  /*@ assert 0 <= lo < 1<<8; */
  const unsigned int res=(hi<<8)|lo;
  /*@ assert res <= 65535; */
  return res;
}

unsigned int fat_sectors(const struct fat_boot_sector *fat_header)
{