Symbol: IRQ_WORK_VECTOR