Function check_FAT

src/fat.c:282–312

}

int check_FAT(disk_t *disk_car, partition_t *partition, const int verbose)
{
  unsigned char *buffer;
  buffer=(unsigned char *)MALLOC(3*disk_car->sector_size);
  if((unsigned)disk_car->pread(disk_car, buffer, 3 * disk_car->sector_size, partition->part_offset) != 3 * disk_car->sector_size)
  {
#ifndef DISABLED_FOR_FRAMAC
    screen_buffer_add("check_FAT: can't read FAT boot sector\n");
    log_error("check_FAT: can't read FAT boot sector\n");
#endif
    free(buffer);
    return 1;
  }
  if(test_FAT(disk_car,(const struct fat_boot_sector *)buffer,partition,verbose,0)!=0)
  {
#ifndef DISABLED_FOR_FRAMAC
    if(verbose>0)
    {
      log_error("\n\ntest_FAT()\n");
      log_partition(disk_car,partition);
      log_fat_info((const struct fat_boot_sector*)buffer, partition->upart_type,disk_car->sector_size);
    }
#endif
    free(buffer);
    return 1;
  }
  set_FAT_info(disk_car,(const struct fat_boot_sector *)buffer,partition);
  /*  screen_buffer_add("Ok\n"); */
  free(buffer);
  return 0;
}

/*@
  @ requires \valid(disk);