Searched refs:gicv3_ppi_sgi_configure_defaults (Results 1 – 3 of 3) sorted by relevance
87 void gicv3_ppi_sgi_configure_defaults(uintptr_t gicr_base);
476 void gicv3_ppi_sgi_configure_defaults(uintptr_t gicr_base) in gicv3_ppi_sgi_configure_defaults() function
242 gicv3_ppi_sgi_configure_defaults(gicr_base); in gicv3_rdistif_init()