Searched refs:vgabios_filename (Results 1 – 1 of 1) sorted by relevance
1002 const char *vgabios_filename; in pc_init1() local1005 vgabios_filename = VGABIOS_CIRRUS_FILENAME; in pc_init1()1007 vgabios_filename = VGABIOS_FILENAME; in pc_init1()1009 oprom_area_size = load_option_rom(vgabios_filename, 0xc0000, 0xe0000); in pc_init1()