Symbol: IXP4XX_OSST_TIMER_1_PEND