coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
bl31_plat_params.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __BL31_PLAT_PARAMS_H__
4 #define __BL31_PLAT_PARAMS_H__
5 
6 #include <atf/plat_params.h>
7 
8 void cn81xx_register_bl31_param(struct bl31_plat_param *param);
9 
10 #endif/* __BL31_PLAT_PARAMS_H__ */
cn81xx_register_bl31_param
void cn81xx_register_bl31_param(struct bl31_plat_param *param)
Definition: bl31_plat_params.c:9
plat_params.h
bl31_plat_param
Definition: plat_params.h:16