coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
bl31_plat_params.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <assert.h>
4 #include <bl31.h>
5 #include <soc/bl31_plat_params.h>
6 
7 static struct bl31_plat_param *plat_params;
8 
10 {
11  ASSERT(param);
12 
13  param->next = plat_params;
14  plat_params = param;
15 }
16 
18 {
19  return plat_params;
20 }
#define ASSERT(x)
Definition: assert.h:44
static struct bl31_plat_param * plat_params
void cn81xx_register_bl31_param(struct bl31_plat_param *param)
void * soc_get_bl31_plat_params(void)