__send_ipi_mask
if (!__send_ipi_mask(mask, vector, false))
if (!__send_ipi_mask(mask, vector, true))
if (!__send_ipi_mask(cpu_online_mask, vector, false))
__send_ipi_mask(mask, vector);
__send_ipi_mask(local_mask, vector);