Searched refs:gicv2_secure_ppi_sgi_setup (Results 1 – 3 of 3) sorted by relevance
22 void gicv2_secure_ppi_sgi_setup(uintptr_t gicd_base,
196 void gicv2_secure_ppi_sgi_setup(uintptr_t gicd_base, in gicv2_secure_ppi_sgi_setup() function
87 gicv2_secure_ppi_sgi_setup(driver_data->gicd_base, in gicv2_pcpu_distif_init()