Symbol: IPI_IRQ_WORK