Searched refs:riscv_setup_firmware_boot (Results 1 – 3 of 3) sorted by relevance
66 void riscv_setup_firmware_boot(MachineState *machine);
460 void riscv_setup_firmware_boot(MachineState *machine) in riscv_setup_firmware_boot() function
1412 riscv_setup_firmware_boot(machine); in virt_machine_done()