Searched refs:platform_gic_data (Results 1 – 1 of 1) sorted by relevance
34 static gicv2_driver_data_t platform_gic_data = { variable59 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()