__apic_send_IPI_self
__apic_send_IPI_self(IRQ_WORK_VECTOR);
__apic_send_IPI_self(POSTED_INTR_WAKEUP_VECTOR);