Searched defs:gicv3_ppi_sgi_config_defaults (Results 1 – 2 of 2) sorted by relevance
256 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base) in gicv3_ppi_sgi_config_defaults() function
275 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base) in gicv3_ppi_sgi_config_defaults() function