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()
62 	unsigned long val, freq;  in timer_init()  local
64 	freq = CONFIG_SC_TIMER_CLK;  in timer_init()
65 	asm("mcr p15, 0, %0, c14, c0, 0" : : "r" (freq));  in timer_init()
67 	writel(freq, &sctr->cntfid0);  in timer_init()
121 	unsigned long freq;  in get_tbclk()  local
123 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in get_tbclk()
125 	return freq;  in get_tbclk()