Lines Matching full:vgabios_filename
51 #define VGABIOS_FILENAME "vgabios.bin"
1002 const char *vgabios_filename;
1005 vgabios_filename = VGABIOS_CIRRUS_FILENAME;
1007 vgabios_filename = VGABIOS_FILENAME;
1009 oprom_area_size = load_option_rom(vgabios_filename, 0xc0000, 0xe0000);
