Searched refs:hikey_gic_data (Results 1 – 1 of 1) sorted by relevance
48 gicv2_driver_data_t hikey_gic_data = { variable142 gicv2_driver_init(&hikey_gic_data); in bl31_platform_setup()