Searched refs:platform_gic_data (Results 1 – 1 of 1) sorted by relevance
35 static gicv2_driver_data_t platform_gic_data = { variable65 platform_gic_data.gicd_base = addr; in stm32mp_gic_init()71 platform_gic_data.gicc_base = addr; in stm32mp_gic_init()85 gicv2_driver_init(&platform_gic_data); in stm32mp_gic_init()