Symbol: read_clock_counter
sys/arch/arm/xscale/pxa2x0.c
364
start = read_clock_counter();
sys/arch/arm/xscale/pxa2x0.c
367
end = read_clock_counter();