Searched refs:platform_gic_data (Results 1 – 1 of 1) sorted by relevance
35 static gicv2_driver_data_t platform_gic_data = { variable60 platform_gic_data.gicd_base = dt_gic.base; in stm32mp1_gic_init()67 platform_gic_data.gicc_base = fdt32_to_cpu(*(cuint + 2)); in stm32mp1_gic_init()81 gicv2_driver_init(&platform_gic_data); in stm32mp1_gic_init()
Completed in 3 milliseconds