Searched refs:gicv3_ppi_sgi_config_defaults (Results 1 – 3 of 3) sorted by relevance
99 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base);
444 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base) in gicv3_ppi_sgi_config_defaults() function
207 gicv3_ppi_sgi_config_defaults(gicr_base); in gicv3_rdistif_init()