coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
plat_params.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __PLAT_PARAMS_H__
4 #define __PLAT_PARAMS_H__
5 
6 #include <stdint.h>
7 
8 /* param type */
9 enum {
13 };
14 
15 /* common header for all plat parameter type */
18  void *next;
19 };
20 
22  struct bl31_plat_param h;
24 };
25 
27  struct bl31_plat_param h;
29 };
30 
31 void params_early_setup(void *ptr);
32 
33 #endif /* __PLAT_PARAMS_H__ */
void params_early_setup(void *ptr)
@ PARAM_COREBOOT_TABLE
Definition: plat_params.h:12
@ PARAM_NONE
Definition: plat_params.h:10
@ PARAM_FDT
Definition: plat_params.h:11
unsigned long long uint64_t
Definition: stdint.h:17
uint64_t fdt_ptr
Definition: plat_params.h:23
struct bl31_plat_param h
Definition: plat_params.h:22
uint64_t type
Definition: plat_params.h:17
struct bl31_plat_param h
Definition: plat_params.h:27
uint64_t value
Definition: plat_params.h:28