Searched refs:IPI_BOOT (Results 1 – 1 of 1) sorted by relevance
24 #define IPI_BOOT 8 macro131 send_ipi(IPI_BOOT, 0, cpu_mask); in smp_boot_one_cpu()