| /* |
| * QEMU RISC-V Boot Helper |
| * |
| * Copyright (c) 2017 SiFive, Inc. |
| * Copyright (c) 2019 Alistair Francis <alistair.francis@wdc.com> |
| * |
| * This program is free software; you can redistribute it and/or modify it |
| * under the terms and conditions of the GNU General Public License, |
| * version 2 or later, as published by the Free Software Foundation. |
| * |
| * This program is distributed in the hope it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
| * more details. |
| * |
| * You should have received a copy of the GNU General Public License along with |
| * this program. If not, see <http://www.gnu.org/licenses/>. |
| */ |
| |
| #ifndef RISCV_BOOT_H |
| #define RISCV_BOOT_H |
| |
| #include "exec/cpu-defs.h" |
| |
| void riscv_find_and_load_firmware(MachineState *machine, |
| const char *default_machine_firmware, |
| hwaddr firmware_load_addr); |
| target_ulong riscv_load_firmware(const char *firmware_filename, |
| hwaddr firmware_load_addr); |
| target_ulong riscv_load_kernel(const char *kernel_filename); |
| hwaddr riscv_load_initrd(const char *filename, uint64_t mem_size, |
| uint64_t kernel_entry, hwaddr *start); |
| |
| #endif /* RISCV_BOOT_H */ |