Searched defs:firmware_name (Results 1 – 4 of 4) sorted by relevance
203 char *firmware_name; in spike_board_init() local
517 const char *firmware_name; in type_init() local
519 const char *firmware_name; in sifive_u_machine_init() local
1440 const char *firmware_name = riscv_default_firmware_name(&s->soc[0]); in virt_machine_done() local