Searched refs:smp4d_ipi_init (Results 1 – 1 of 1) sorted by relevance
40 static void smp4d_ipi_init(void);115 smp4d_ipi_init(); in smp4d_boot_cpus()192 static void __init smp4d_ipi_init(void) in smp4d_ipi_init() function