Searched refs:read_bios_file (Results 1 – 4 of 4) sorted by relevance
34 char* read_bios_file(const char* bios_file);
43 char* bios_data = read_bios_file(bios_data_file); in check_bios_data()
57 char* read_bios_file(const char* bios_file) { in read_bios_file() function
51 char* bios_data = read_bios_file(bios_data_file); in check_bios_data()