ipi_trigger_multi_internal
ipi_trigger_multi_internal(ipi_id, target, false);
ipi_trigger_multi_internal(ipi_id, kcpuset_attached, skip_self);