coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
Data Fields
bl31_u64_param Struct Reference

#include <plat_params.h>

Collaboration diagram for bl31_u64_param:
Collaboration graph

Data Fields

struct bl31_plat_param h
 
uint64_t value
 

Detailed Description

Definition at line 26 of file plat_params.h.

Field Documentation

◆ h

struct bl31_plat_param bl31_u64_param::h

Definition at line 23 of file plat_params.h.

Referenced by soc_init_atf().

◆ value

uint64_t bl31_u64_param::value

Definition at line 28 of file plat_params.h.

Referenced by soc_init_atf().

The documentation for this struct was generated from the following file: