Symbol: IPI_TIMER