Function fat_sector_size

src/fat_common.c:33–43

#include "fat_common.h"

unsigned int fat_sector_size(const struct fat_boot_sector *fat_header)
{
  const unsigned int hi=fat_header->sector_size[1];
  const unsigned int lo=fat_header->sector_size[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 get_dir_entries(const struct fat_boot_sector *fat_header)
{