set_smp_ipi_range
void __init set_smp_ipi_range(int ipi_base, int n)
static inline void set_smp_ipi_range(int ipi_base, int n)