129 target_ulong riscv_find_and_load_firmware(MachineState *machine,  in riscv_find_and_load_firmware()  argument
137     firmware_filename = riscv_find_firmware(machine->firmware,  in riscv_find_and_load_firmware()
177 static void riscv_load_initrd(MachineState *machine, uint64_t kernel_entry)  in riscv_load_initrd()  argument
179     const char *filename = machine->initrd_filename;  in riscv_load_initrd()
180     uint64_t mem_size = machine->ram_size;  in riscv_load_initrd()
181     void *fdt = machine->fdt;  in riscv_load_initrd()
217 target_ulong riscv_load_kernel(MachineState *machine,  in riscv_load_kernel()  argument
223     const char *kernel_filename = machine->kernel_filename;  in riscv_load_kernel()
225     void *fdt = machine->fdt;  in riscv_load_kernel()
266     if (load_initrd && machine->initrd_filename) {  in riscv_load_kernel()
267         riscv_load_initrd(machine, kernel_entry);  in riscv_load_kernel()
270     if (fdt && machine->kernel_cmdline && *machine->kernel_cmdline) {  in riscv_load_kernel()
272                                 machine->kernel_cmdline);  in riscv_load_kernel()
345 void riscv_rom_copy_firmware_info(MachineState *machine, hwaddr rom_base,  in riscv_rom_copy_firmware_info()  argument
382 void riscv_setup_rom_reset_vec(MachineState *machine, RISCVHartArrayState *harts,  in riscv_setup_rom_reset_vec()  argument
433     riscv_rom_copy_firmware_info(machine, rom_base, rom_size, sizeof(reset_vec),  in riscv_setup_rom_reset_vec()
448 void riscv_setup_firmware_boot(MachineState *machine)  in riscv_setup_firmware_boot()  argument
450     if (machine->kernel_filename) {  in riscv_setup_firmware_boot()
462                              machine->kernel_filename,  in riscv_setup_firmware_boot()
466                              machine->initrd_filename, false);  in riscv_setup_firmware_boot()
468         if (machine->kernel_cmdline) {  in riscv_setup_firmware_boot()
470                            strlen(machine->kernel_cmdline) + 1);  in riscv_setup_firmware_boot()
472                               machine->kernel_cmdline);  in riscv_setup_firmware_boot()