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