HelenOS sources

TCON_T0_AUTO_RLD  302 kernel/arch/arm32/src/mach/gta02/gta02.c 	pio_write_32(&timer->tcon, TCON_T0_AUTO_RLD | TCON_T0_MUPDATE);
TCON_T0_AUTO_RLD  305 kernel/arch/arm32/src/mach/gta02/gta02.c 	pio_write_32(&timer->tcon, TCON_T0_AUTO_RLD | TCON_T0_START);