Symbol: irsd200_read_timer