Home
last modified time | relevance | path

Searched refs:platform_gic_data (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a-3.7.0/plat/st/common/
Dstm32mp_gic.c34 static gicv2_driver_data_t platform_gic_data = { variable
59 platform_gic_data.gicd_base = dt_gic.base; in stm32mp_gic_init()
66 platform_gic_data.gicc_base = fdt32_to_cpu(*(cuint + 2)); in stm32mp_gic_init()
80 gicv2_driver_init(&platform_gic_data); in stm32mp_gic_init()