Symbol: tcr0_read
sys/arch/arm/xscale/i80321_timer.c
318
last = tcr0_read();
sys/arch/arm/xscale/i80321_timer.c
322
cur = tcr0_read();