Searched refs:bios_default (Results 1 – 1 of 1) sorted by relevance
2840 const char *bios_default = spapr->vof ? FW_FILE_NAME_VOF : FW_FILE_NAME; in spapr_machine_init() 2841 const char *bios_name = machine->firmware ?: bios_default; in spapr_machine_init() 2811 const char *bios_default = spapr->vof ? FW_FILE_NAME_VOF : FW_FILE_NAME; spapr_machine_init() local