__apic_send_IPI_allbutself
__apic_send_IPI_allbutself(vector);
__apic_send_IPI_allbutself(CALL_FUNCTION_VECTOR);