IRQ_WORK_VECTOR
SYSVEC(IRQ_WORK_VECTOR, irq_work),
DECLARE_IDTENTRY_SYSVEC(IRQ_WORK_VECTOR, sysvec_irq_work);
INTG(IRQ_WORK_VECTOR, asm_sysvec_irq_work),
trace_irq_work_entry(IRQ_WORK_VECTOR);
trace_irq_work_exit(IRQ_WORK_VECTOR);
__apic_send_IPI_self(IRQ_WORK_VECTOR);
case IRQ_WORK_VECTOR: