__default_send_IPI_dest_field
__default_send_IPI_dest_field(apicid, vector,
__default_send_IPI_dest_field(per_cpu(x86_cpu_to_apicid, cpu),
__default_send_IPI_dest_field(per_cpu(x86_cpu_to_apicid,
__default_send_IPI_dest_field(per_cpu(x86_cpu_to_apicid,
__default_send_IPI_dest_field(1U << cpu, vector, APIC_DEST_LOGICAL);
__default_send_IPI_dest_field(1U << cpu, vector, APIC_DEST_LOGICAL);
__default_send_IPI_dest_field(mask, vector, APIC_DEST_LOGICAL);
void __default_send_IPI_dest_field(unsigned int mask, int vector, unsigned int dest);