Searched refs:leon_ipi_resched (Results 1 – 1 of 1) sorted by relevance
372 static void leon_ipi_resched(int cpu) in leon_ipi_resched() function554 BTFIXUPSET_CALL(smp_ipi_resched, leon_ipi_resched, BTFIXUPCALL_NORM); in leon_init_smp()