![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
void | cn81xx_register_bl31_param (struct bl31_plat_param *param) |
void * | soc_get_bl31_plat_params (void) |
Variables | |
static struct bl31_plat_param * | plat_params |
void cn81xx_register_bl31_param | ( | struct bl31_plat_param * | param | ) |
Definition at line 9 of file bl31_plat_params.c.
References ASSERT, bl31_plat_param::next, and plat_params.
Referenced by soc_init_atf().
Definition at line 17 of file bl31_plat_params.c.
References plat_params.
|
static |
Definition at line 7 of file bl31_plat_params.c.
Referenced by cn81xx_register_bl31_param(), run_bl31(), and soc_get_bl31_plat_params().