timer64_config    122 arch/c6x/platforms/timer64.c 	timer64_config(delta);
timer64_config    130 arch/c6x/platforms/timer64.c 	timer64_config(TIMER64_RATE / HZ);