![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <atf/plat_params.h>
Go to the source code of this file.
Functions | |
void | cn81xx_register_bl31_param (struct bl31_plat_param *param) |
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().