Function test_OS2MB

src/fat.c:1082–1101

@ @ requires \valid_read(disk); @ requires valid_disk(disk); @ requires \valid_read(fat_header); @ requires \valid_read(partition); @ requires valid_partition(partition); @*/

  @ requires valid_partition(partition);
  @*/
static int test_OS2MB(const disk_t *disk, const struct fat_boot_sector *fat_header, const partition_t *partition, const int verbose, const int dump_ind)
{
  const char*buffer=(const char*)fat_header;
  if(le16(fat_header->marker)==0xAA55 && memcmp(buffer+FAT_NAME1,"FAT     ",8)==0)
  {
#ifndef DISABLED_FOR_FRAMAC
    if(verbose||dump_ind)
    {
      log_info("OS2MB at %u/%u/%u\n",
	  offset2cylinder(disk, partition->part_offset),
	  offset2head(disk, partition->part_offset),
	  offset2sector(disk, partition->part_offset));
    }
#endif
    if(dump_ind)
      dump_log(buffer, DEFAULT_SECTOR_SIZE);
    return 0;
  }
  return 1;
}

int check_OS2MB(disk_t *disk, partition_t *partition, const int verbose)
{