34 	unsigned long freq;  in tick_to_time()  local
36 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in tick_to_time()
39 	do_div(tick, freq);  in tick_to_time()
46 	unsigned long freq;  in us_to_tick()  local
48 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in us_to_tick()
50 	usec = usec * freq  + 999999;  in us_to_tick()
59 	unsigned long ctrl, freq;  in timer_init()  local
65 	freq = COUNTER_FREQUENCY;  in timer_init()
66 	asm("mcr p15, 0, %0, c14, c0, 0" : : "r" (freq));  in timer_init()
118 	unsigned long freq;  in get_tbclk()  local
120 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in get_tbclk()
122 	return freq;  in get_tbclk()