Symbol: IOMD_T0HIGH
sys/arch/arm/iomd/iomd_clock.c
277
IOMD_T0HIGH, (timer0_count >> 8) & 0xff);
sys/arch/arm/iomd/iomd_clock.c
323
IOMD_T0HIGH) << 8);