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
9
void
cn81xx_register_bl31_param
(
struct
bl31_plat_param
*param)
10
{
11
ASSERT
(param);
12
13
param->
next
=
plat_params
;
14
plat_params
= param;
15
}
16
17
void
*
soc_get_bl31_plat_params
(
void
)
18
{
19
return
plat_params
;
20
}
assert.h
ASSERT
#define ASSERT(x)
Definition:
assert.h:44
bl31.h
plat_params
static struct bl31_plat_param * plat_params
Definition:
bl31_plat_params.c:7
cn81xx_register_bl31_param
void cn81xx_register_bl31_param(struct bl31_plat_param *param)
Definition:
bl31_plat_params.c:9
soc_get_bl31_plat_params
void * soc_get_bl31_plat_params(void)
Definition:
bl31_plat_params.c:17
bl31_plat_params.h
bl31_plat_param
Definition:
plat_params.h:16
bl31_plat_param::next
void * next
Definition:
plat_params.h:18
src
soc
cavium
cn81xx
bl31_plat_params.c
Generated by
1.9.1