36 	unsigned long freq;  in tick_to_time()  local
38 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in tick_to_time()
41 	do_div(tick, freq);  in tick_to_time()
48 	unsigned long freq;  in us_to_tick()  local
50 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in us_to_tick()
52 	usec = usec * freq  + 999999;  in us_to_tick()
61 	unsigned long val, freq;  in timer_init()  local
63 	freq = CONFIG_SC_TIMER_CLK;  in timer_init()
64 	asm volatile("mcr p15, 0, %0, c14, c0, 0" : : "r" (freq));  in timer_init()
66 	writel(freq, &sctr->cntfid0);  in timer_init()
120 	unsigned long freq;  in get_tbclk()  local
122 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));  in get_tbclk()
124 	return freq;  in get_tbclk()