110 char *riscv_find_firmware(const char *firmware_filename,  in riscv_find_firmware()  argument
115     if ((!firmware_filename) || (!strcmp(firmware_filename, "default"))) {  in riscv_find_firmware()
122     } else if (strcmp(firmware_filename, "none")) {  in riscv_find_firmware()
123         filename = riscv_find_bios(firmware_filename);  in riscv_find_firmware()
134     char *firmware_filename;  in riscv_find_and_load_firmware()  local
137     firmware_filename = riscv_find_firmware(machine->firmware,  in riscv_find_and_load_firmware()
140     if (firmware_filename) {  in riscv_find_and_load_firmware()
142         firmware_end_addr = riscv_load_firmware(firmware_filename,  in riscv_find_and_load_firmware()
144         g_free(firmware_filename);  in riscv_find_and_load_firmware()
150 target_ulong riscv_load_firmware(const char *firmware_filename,  in riscv_load_firmware()  argument
157     g_assert(firmware_filename != NULL);  in riscv_load_firmware()
159     if (load_elf_ram_sym(firmware_filename, NULL, NULL, NULL,  in riscv_load_firmware()
165     firmware_size = load_image_targphys_as(firmware_filename,  in riscv_load_firmware()
173     error_report("could not load firmware '%s'", firmware_filename);  in riscv_load_firmware()