Searched refs:vgabios_filename (Results 1 – 1 of 1) sorted by relevance
1007 const char *vgabios_filename; local1010 vgabios_filename = VGABIOS_CIRRUS_FILENAME;1012 vgabios_filename = VGABIOS_FILENAME;1014 oprom_area_size = load_option_rom(vgabios_filename, 0xc0000, 0xe0000);