37 	unsigned long freq;  in tick_to_time()  local
39 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in tick_to_time()
42 	do_div(tick, freq);  in tick_to_time()
49 	unsigned long freq;  in us_to_tick()  local
51 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in us_to_tick()
53 	usec = usec * freq  + 999999;  in us_to_tick()
63 	unsigned long val, freq;  in timer_init()  local
65 	freq = CONFIG_SC_TIMER_CLK;  in timer_init()
66 	asm volatile("mcr p15, 0, %0, c14, c0, 0" : : "r" (freq));  in timer_init()
68 	writel(freq, &sctr->cntfid0);  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()