kern/apic.c
void dune_apic_write_eoi(void)
{
	BY_APIC_TYPE(dune_apic_write_x(XAPIC_EOI_OFFSET, APIC_EOI_ACK),
				 wrmsrl(APIC_BASE_MSR + (APIC_EOI >> 4), APIC_EOI_ACK))
}
/* dune_apic_write_eoi
 * Acknowledges receipt of an interrupt to the local APIC by writing an acknowledgment to
 * the local APIC's EOI register. Determines whether the computer is equipped with xAPICs
 * or x2APICs and writes the acknowledgment accordingly.
 *
 * [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_write_eoi
Acknowledges receipt of an interrupt to the local APIC by writing an acknowledgment to
the local APIC's EOI register. Determines whether the computer is equipped with xAPICs
or x2APICs and writes the acknowledgment accordingly.

[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_write_eoi Acknowledges receipt of an interrupt to the local APIC by writing an acknowledgment to the local APIC ' s EOI register . Determines whether the computer is equipped with xAPICs or x2APICs and writes the acknowledgment accordingly . [ 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_write_eoi(void)
{
	BY_APIC_TYPE(dune_apic_write_x(XAPIC_EOI_OFFSET, APIC_EOI_ACK),
				 wrmsrl(APIC_BASE_MSR + (APIC_EOI >> 4), APIC_EOI_ACK))
}
void dune_apic_write_eoi ( void ) { BY_APIC_TYPE ( dune_apic_write_x ( XAPIC_EOI_OFFSET , APIC_EOI_ACK ) , wrmsrl ( APIC_BASE_MSR + ( APIC_EOI >> 4 ) , APIC_EOI_ACK ) ) }
dune_apic_write_eoi
 Acknowledges receipt of an interrupt to the local APIC by writing an acknowledgment to
 the local APIC's EOI register.
dune_apic_write_eoi Acknowledges receipt of an interrupt to the local APIC by writing an acknowledgment to the local APIC ' s EOI register .