core_khz           92 arch/c6x/kernel/setup.c 	unsigned long core_khz;
core_khz          107 arch/c6x/kernel/setup.c 	core_khz = c6x_core_freq / 1000;
core_khz          109 arch/c6x/kernel/setup.c 	tmp = (uint64_t)core_khz << C6X_NDELAY_SCALE;