__send_ipi_mask_ex
return __send_ipi_mask_ex(mask, vector, exclude_self);
return __send_ipi_mask_ex(cpumask_of(cpu), vector, false);