kern/apic.c
static void dune_apic_send_ipi_x2(u8 vector, u32 destination_apic_id)
{
	u32 low;
	low = __prepare_ICR(0, vector, APIC_DEST_PHYSICAL);
	x2apic_wrmsr_fence();
	wrmsrl(APIC_BASE_MSR + (APIC_ICR >> 4), ((__u64) destination_apic_id) << 32 | low);
}
/* dune_apic_send_ipi_x2
 * Send an IPI to another local APIC. This function only supports x2APIC, not xAPIC.
 *
 * [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_x2
Send an IPI to another local APIC. This function only supports x2APIC, not xAPIC.

[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_x2 Send an IPI to another local APIC . This function only supports x2APIC not xAPIC . [ vector ] is the vector of the interrupt to send . [ destination_apic_id ] is the ID of the local APIC that will receive the IPI .
static void dune_apic_send_ipi_x2(u8 vector, u32 destination_apic_id)
{
	u32 low;
	low = __prepare_ICR(0, vector, APIC_DEST_PHYSICAL);
	x2apic_wrmsr_fence();
	wrmsrl(APIC_BASE_MSR + (APIC_ICR >> 4), ((__u64) destination_apic_id) << 32 | low);
}
static void dune_apic_send_ipi_x2 ( u8 vector , u32 destination_apic_id ) { u32 low ; low = __prepare_ICR ( 0 , vector , APIC_DEST_PHYSICAL ) ; x2apic_wrmsr_fence ( ) ; wrmsrl ( APIC_BASE_MSR + ( APIC_ICR >> 4 ) , ( ( __u64 ) destination_apic_id ) << 32 | low ) ; }
dune_apic_send_ipi_x2
 Send an IPI to another local APIC.
dune_apic_send_ipi_x2 Send an IPI to another local APIC .