![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <plat_params.h>
Data Fields | |
uint64_t | type |
void * | next |
Definition at line 16 of file plat_params.h.
void* bl31_plat_param::next |
Definition at line 18 of file plat_params.h.
Referenced by cn81xx_register_bl31_param().
uint64_t bl31_plat_param::type |
Definition at line 17 of file plat_params.h.
Referenced by soc_init_atf().