Searched refs:smp4d_ipi_init (Results 1 – 1 of 1) sorted by relevance
36 static void smp4d_ipi_init(void);123 smp4d_ipi_init(); in smp4d_boot_cpus()205 static void __init smp4d_ipi_init(void) in smp4d_ipi_init() function