Searched refs:imsic_ipi_send (Results 1 – 1 of 1) sorted by relevance
37 static void imsic_ipi_send(unsigned int cpu) in imsic_ipi_send() function70 virq = ipi_mux_create(IMSIC_NR_IPI, imsic_ipi_send); in imsic_ipi_domain_init()