kern/apic.c
void dune_apic_send_ipi(u8 vector, u32 destination_apic_id)
{
	BY_APIC_TYPE(dune_apic_send_ipi_x(vector, (u8)destination_apic_id),
				 dune_apic_send_ipi_x2(vector, destination_apic_id))
}
/* dune_apic_send_ipi
 * Send an IPI to another local APIC. Determines whether the computer is equipped
 * with xAPICs or x2APICs and chooses the correct delivery method.
 *
 * [vector] is the vector of the interrupt to send.
 * [destination_apic_id] is the ID of the local APIC that will receive the IPI.
 */
dune_apic_send_ipi
Send an IPI to another local APIC. Determines whether the computer is equipped
with xAPICs or x2APICs and chooses the correct delivery method.

[vector] is the vector of the interrupt to send.
[destination_apic_id] is the ID of the local APIC that will receive the IPI.
dune_apic_send_ipi Send an IPI to another local APIC . Determines whether the computer is equipped with xAPICs or x2APICs and chooses the correct delivery method . [ vector ] is the vector of the interrupt to send . [ destination_apic_id ] is the ID of the local APIC that will receive the IPI .
void dune_apic_send_ipi(u8 vector, u32 destination_apic_id)
{
	BY_APIC_TYPE(dune_apic_send_ipi_x(vector, (u8)destination_apic_id),
				 dune_apic_send_ipi_x2(vector, destination_apic_id))
}
void dune_apic_send_ipi ( u8 vector , u32 destination_apic_id ) { BY_APIC_TYPE ( dune_apic_send_ipi_x ( vector , ( u8 ) destination_apic_id ) , dune_apic_send_ipi_x2 ( vector , destination_apic_id ) ) }
dune_apic_send_ipi
 Send an IPI to another local APIC.
dune_apic_send_ipi Send an IPI to another local APIC .