![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <plat_params.h>
Data Fields | |
struct bl31_plat_param | h |
uint64_t | fdt_ptr |
Definition at line 21 of file plat_params.h.
uint64_t bl31_fdt_param::fdt_ptr |
Definition at line 23 of file plat_params.h.
Referenced by soc_init_atf().
struct bl31_plat_param bl31_fdt_param::h |
Definition at line 18 of file plat_params.h.
Referenced by soc_init_atf().