x2apic_send_IPI_allbutself
void x2apic_send_IPI_allbutself(int vector);
.send_IPI_allbutself = x2apic_send_IPI_allbutself,