| 67 | } |
| 68 | |
| 69 | unsigned int fat_get_cluster_from_entry(const struct msdos_dir_entry *entry) |
| 70 | { |
| 71 | const unsigned int hi=le16(entry->starthi); |
| 72 | const unsigned int lo=le16(entry->start); |
| 73 | /*@ assert 0 <= hi < 1<<16; */ |
| 74 | /*@ assert 0 <= hi<<16 < 1<<32; */ |
| 75 | /*@ assert 0 <= lo < 1<<16; */ |
| 76 | return (hi<<16) | lo; |
| 77 | } |
| 78 | |
| 79 | int is_fat_directory(const unsigned char *buffer) |
| 80 | { |
no outgoing calls
no test coverage detected