Lines Matching refs:FILE
28 /* a simple and portable program used to generate a blank FAT32 image file
177 write_sector( FILE* file, Bytes sector )
179 int result = fwrite( sector, 1, BYTES_PER_SECTOR, file ) != BYTES_PER_SECTOR;
187 write_empty( FILE* file, Wide count )
197 if ( fwrite( empty, 1, len, file ) != (size_t)len ) {
210 fprintf(stderr, "usage: mksdcard [-l label] <size> <file>\n\n");
228 FILE* f = NULL;
284 fprintf(stderr, "Could not create file '%s': %s\n", argv[2], strerror(errno));
326 fprintf(stderr, "File '%s' was not created.\n", argv[2]);
