Searched refs:cpu_tick_freq (Results 1 – 2 of 2) sorted by relevance
30 cpu_tick_freq=$177 echo "Patching cpu_tick_freq to $cpu_tick_freq..."79 if ! echo cpu_tick_freq?W 0t$cpu_tick_freq | adb -w $kernel 1> /dev/null; then
23 and the kernel extracts it into the variable cpu_tick_freq. On sun4u's,