lwkt_send_ipiq_mask
lwkt_send_ipiq_mask(smp_active_mask, vmbus_timer_restart, cti->priv);
lwkt_send_ipiq_mask(other_cpumask, lwkt_sync_ipiq,
lwkt_send_ipiq_mask(mask, (ipifunc1_t)lwkt_cpusync_remote1, cs);
lwkt_send_ipiq_mask(mask, (ipifunc1_t)lwkt_cpusync_remote2, cs);
lwkt_send_ipiq_mask(mask, in_rtqdrain_ipi, NULL);
lwkt_send_ipiq_mask(mask, ipfrag_drain_ipi, NULL);
lwkt_send_ipiq_mask(mask, tcp_drain_ipi, NULL);
lwkt_send_ipiq_mask(smp_active_mask,
lwkt_send_ipiq_mask(smp_active_mask, lapic_timer_restart_handler, NULL);
lwkt_send_ipiq_mask(smp_active_mask, (void *)amd64_mrstoreone, sc);
lwkt_send_ipiq_mask(smp_active_mask, (void *)amd64_mrAPinit, sc);
lwkt_send_ipiq_mask(smp_active_mask, (void *)dummy_nop, NULL);