Function fat_sectors

src/fat_common.c:57–67

}

unsigned int fat_sectors(const struct fat_boot_sector *fat_header)
{
  const unsigned int hi=fat_header->sectors[1];
  const unsigned int lo=fat_header->sectors[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_get_cluster_from_entry(const struct msdos_dir_entry *entry)
{