@ @ terminates \true; @ assigns \nothing; @*/
| 341 | @ assigns \nothing; |
| 342 | @*/ |
| 343 | static int is_EOC(const unsigned int cluster, const upart_type_t upart_type) |
| 344 | { |
| 345 | if(upart_type==UP_FAT12) |
| 346 | return ((cluster&0x0ff8)==(unsigned)FAT12_EOC); |
| 347 | else if(upart_type==UP_FAT16) |
| 348 | return ((cluster&0x0fff8)==(unsigned)FAT16_EOC); |
| 349 | else |
| 350 | return((cluster&0xffffff8)==(unsigned)FAT32_EOC); |
| 351 | } |
| 352 | |
| 353 | #define NBR_ENTRIES_MAX 65536 |
| 354 |