![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <program_loading.h>
#include <stdint.h>
#include <arch/boot.h>
#include <arch/encoding.h>
#include <arch/smp/atomic.h>
#include <console/console.h>
#include <vm.h>
Go to the source code of this file.
Functions | |
void | run_payload_opensbi (struct prog *prog, void *fdt, struct prog *opensbi, int payload_mode) |
void | run_payload (struct prog *prog, void *fdt, int payload_mode) |
Definition at line 34 of file payload.c.
References die(), INSERT_FIELD, MSTATUS_MPIE, MSTATUS_MPP, prog_entry(), PRV_M, PRV_S, PRV_U, RISCV_PAYLOAD_MODE_M, RISCV_PAYLOAD_MODE_S, RISCV_PAYLOAD_MODE_U, and void().
void run_payload_opensbi | ( | struct prog * | prog, |
void * | fdt, | ||
struct prog * | opensbi, | ||
int | payload_mode | ||
) |
Definition at line 12 of file payload.c.
References INSERT_FIELD, MSTATUS_MPIE, MSTATUS_MPP, prog_entry(), PRV_M, and run_opensbi().
Referenced by do_arch_prog_run().