Searched refs:fconf_populate_gicv3_config (Results 1 – 2 of 2) sorted by relevance
15 int fconf_populate_gicv3_config(uintptr_t config) in fconf_populate_gicv3_config() function54 FCONF_REGISTER_POPULATOR(HW_CONFIG, gicv3_config, fconf_populate_gicv3_config);
56 int fconf_populate_gicv3_config(uintptr_t config);