27 uint8_t* ReadFile(const char* filename, uint64_t* sizeptr) {  in ReadFile()  argument
32   f = fopen(filename, "rb");  in ReadFile()
34     VBDEBUG(("Unable to open file %s\n", filename));  in ReadFile()
49     VBDEBUG(("Unable to read from file %s\n", filename));  in ReadFile()
62 char* ReadFileString(char* dest, int size, const char* filename) {  in ReadFileString()  argument
66   f = fopen(filename, "rt");  in ReadFileString()
76 int ReadFileInt(const char* filename, unsigned* value) {  in ReadFileInt()  argument
80   if (!ReadFileString(buf, sizeof(buf), filename))  in ReadFileInt()
92 int ReadFileBit(const char* filename, int bitmask) {  in ReadFileBit()  argument
94   if (ReadFileInt(filename, &value) < 0)  in ReadFileBit()
100 int WriteFile(const char* filename, const void *data, uint64_t size) {  in WriteFile()  argument
101   FILE *f = fopen(filename, "wb");  in WriteFile()
103     VBDEBUG(("Unable to open file %s\n", filename));  in WriteFile()
108     VBDEBUG(("Unable to write to file %s\n", filename));  in WriteFile()
110     unlink(filename);  /* Delete any partial file */  in WriteFile()