coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
opensbi.c File Reference
#include <sbi/fw_dynamic.h>
#include <arch/boot.h>
Include dependency graph for opensbi.c:

Go to the source code of this file.

Functions

void run_opensbi (const int hart_id, const void *fdt, const void *opensbi, const void *payload, const int payload_mode)
 

Function Documentation

◆ run_opensbi()

void run_opensbi ( const int  hart_id,
const void fdt,
const void opensbi,
const void payload,
const int  payload_mode 
)

Definition at line 7 of file opensbi.c.

References info.

Referenced by run_payload_opensbi().

Here is the caller graph for this function: