__apic_send_IPI_mask
__apic_send_IPI_mask(mask, LOCAL_TIMER_VECTOR);
__apic_send_IPI_mask(mask, NMI_VECTOR);
__apic_send_IPI_mask(cpumask_of(cpu), vector);
__apic_send_IPI_mask(mask, CALL_FUNCTION_VECTOR);
__apic_send_IPI_mask(mce_inject_cpumask, NMI_VECTOR);
__apic_send_IPI_mask(mask, NMI_VECTOR);
__apic_send_IPI_mask(get_cpu_mask(vcpu->cpu), pi_vec);
__apic_send_IPI_mask(uv_nmi_cpu_mask, APIC_DM_NMI);