Symbol: tcr0_write
sys/arch/arm/xscale/i80321_timer.c
197
tcr0_write(counts_per_hz); /* current value */
sys/arch/arm/xscale/i80321_timer.c
249
tcr0_write(counts_per_hz); /* current value */