Searched refs:smp4d_ipi_single (Results 1 – 1 of 1) sorted by relevance
236 static void smp4d_ipi_single(int cpu) in smp4d_ipi_single() function435 BTFIXUPSET_CALL(smp_ipi_single, smp4d_ipi_single, BTFIXUPCALL_NORM); in sun4d_init_smp()