Searched refs:default_machine_firmware (Results 1 – 2 of 2) sorted by relevance
37 const char *default_machine_firmware,42 const char *default_machine_firmware);
111 const char *default_machine_firmware) in riscv_find_firmware() argument121 filename = riscv_find_bios(default_machine_firmware); in riscv_find_firmware()130 const char *default_machine_firmware, in riscv_find_and_load_firmware() argument138 default_machine_firmware); in riscv_find_and_load_firmware()