coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
Data Fields
bl31_plat_params Struct Reference
Collaboration diagram for bl31_plat_params:
Collaboration graph

Data Fields

uint64_t tzdram_size
 
uint64_t tzdram_base
 
int uart_id
 

Detailed Description

Definition at line 10 of file arm_tf.c.

Field Documentation

◆ tzdram_base

uint64_t bl31_plat_params::tzdram_base

Definition at line 14 of file arm_tf.c.

Referenced by soc_get_bl31_plat_params().

◆ tzdram_size

uint64_t bl31_plat_params::tzdram_size

Definition at line 12 of file arm_tf.c.

Referenced by soc_get_bl31_plat_params().

◆ uart_id

int bl31_plat_params::uart_id

Definition at line 16 of file arm_tf.c.

Referenced by soc_get_bl31_plat_params().

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