Searched refs:riscv_default_firmware_name (Results 1 – 5 of 5) sorted by relevance
40 const char *riscv_default_firmware_name(RISCVHartArrayState *harts);
79 const char *riscv_default_firmware_name(RISCVHartArrayState *harts) in riscv_default_firmware_name() function
271 riscv_default_firmware_name(&s->soc[0])); in spike_board_init()
590 firmware_name = riscv_default_firmware_name(&s->soc.u_cpus); in sifive_u_machine_init()
1340 const char *firmware_name = riscv_default_firmware_name(&s->soc[0]); in virt_machine_done()