Searched refs:firmware_name (Results 1 – 4 of 4) sorted by relevance
202 char *firmware_name; in spike_board_init() local270 firmware_name = riscv_find_firmware(machine->firmware, in spike_board_init()279 if (!firmware_name && !machine->kernel_filename) { in spike_board_init()282 if (firmware_name) { in spike_board_init()283 htif_custom_base = !spike_test_elf_image(firmware_name); in spike_board_init()291 if (firmware_name) { in spike_board_init()292 firmware_end_addr = riscv_load_firmware(firmware_name, in spike_board_init()295 g_free(firmware_name); in spike_board_init()
518 const char *firmware_name; in type_init() local604 firmware_name = RISCV64_BIOS_BIN; in type_init()610 firmware_name = BIOS_FILENAME; in type_init()615 firmware_end_addr = riscv_find_and_load_firmware(machine, firmware_name, in type_init()
520 const char *firmware_name; in sifive_u_machine_init() local590 firmware_name = riscv_default_firmware_name(&s->soc.u_cpus); in sifive_u_machine_init()591 firmware_end_addr = riscv_find_and_load_firmware(machine, firmware_name, in sifive_u_machine_init()
1314 const char *firmware_name = riscv_default_firmware_name(&s->soc[0]); in virt_machine_done() local1343 firmware_end_addr = riscv_find_and_load_firmware(machine, firmware_name, in virt_machine_done()