Searched refs:gicv3_ppi_sgi_config_defaults (Results 1 – 3 of 3) sorted by relevance
221 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base) in gicv3_ppi_sgi_config_defaults() function
236 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base);
249 gicv3_ppi_sgi_config_defaults(gicr_base); in gicv3_rdistif_init()