mb/system76/cml-u/dt: Make use of chipset devicetree
[coreboot.git] / src / soc / cavium / cn81xx / bl31_plat_params.c
blob4f30e5bf510283f0be7c7bc17213f8d9f8dec01a
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <assert.h>
4 #include <bl31.h>
5 #include <soc/bl31_plat_params.h>
7 static struct bl31_plat_param *plat_params;
9 void cn81xx_register_bl31_param(struct bl31_plat_param *param)
11 ASSERT(param);
13 param->next = plat_params;
14 plat_params = param;
17 void *soc_get_bl31_plat_params(void)
19 return plat_params;