Searched refs:smp4d_ipi_init (Results 1 – 1 of 1) sorted by relevance
41 static void smp4d_ipi_init(void);116 smp4d_ipi_init(); in smp4d_boot_cpus()193 static void __init smp4d_ipi_init(void) in smp4d_ipi_init() function