Searched refs:socfpga_dt_populate_gicv3_config (Results 1 – 2 of 2) sorted by relevance
50 int socfpga_dt_populate_gicv3_config(uintptr_t dt_addr, gicv3_driver_data_t *plat_driver_data);
61 int socfpga_dt_populate_gicv3_config(uintptr_t dt_addr, gicv3_driver_data_t *plat_driver_data) in socfpga_dt_populate_gicv3_config() function