21 void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u32 val)  in arch_timer_reg_write_cp15()  argument
26 			asm volatile("mcr p15, 0, %0, c14, c2, 1" : : "r" (val));  in arch_timer_reg_write_cp15()
29 			asm volatile("mcr p15, 0, %0, c14, c2, 0" : : "r" (val));  in arch_timer_reg_write_cp15()
35 			asm volatile("mcr p15, 0, %0, c14, c3, 1" : : "r" (val));  in arch_timer_reg_write_cp15()
38 			asm volatile("mcr p15, 0, %0, c14, c3, 0" : : "r" (val));  in arch_timer_reg_write_cp15()
49 	u32 val = 0;  in arch_timer_reg_read_cp15()  local
54 			asm volatile("mrc p15, 0, %0, c14, c2, 1" : "=r" (val));  in arch_timer_reg_read_cp15()
57 			asm volatile("mrc p15, 0, %0, c14, c2, 0" : "=r" (val));  in arch_timer_reg_read_cp15()
63 			asm volatile("mrc p15, 0, %0, c14, c3, 1" : "=r" (val));  in arch_timer_reg_read_cp15()
66 			asm volatile("mrc p15, 0, %0, c14, c3, 0" : "=r" (val));  in arch_timer_reg_read_cp15()
71 	return val;  in arch_timer_reg_read_cp15()
76 	u32 val;  in arch_timer_get_cntfrq()  local
77 	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (val));  in arch_timer_get_cntfrq()
78 	return val;  in arch_timer_get_cntfrq()