Searched refs:clint_send_ipi (Results 1 – 1 of 1) sorted by relevance
49 static void clint_send_ipi(unsigned int cpu) in clint_send_ipi() function246 rc = ipi_mux_create(BITS_PER_BYTE, clint_send_ipi); in clint_timer_init_dt()