Searched refs:riscv_setup_firmware_boot (Results 1 – 3 of 3) sorted by relevance
64 void riscv_setup_firmware_boot(MachineState *machine);
448 void riscv_setup_firmware_boot(MachineState *machine) in riscv_setup_firmware_boot() function
1387 riscv_setup_firmware_boot(machine); in virt_machine_done()