1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2015 Rockchip Electronics Co., Ltd
4  */
5 
6 #ifndef __ASM_ARCH_TIMER_H
7 #define __ASM_ARCH_TIMER_H
8 
9 struct rk_timer {
10 	u32 timer_load_count0;
11 	u32 timer_load_count1;
12 	u32 timer_curr_value0;
13 	u32 timer_curr_value1;
14 	u32 timer_ctrl_reg;
15 	u32 timer_int_status;
16 };
17 
18 void rockchip_timer_init(void);
19 void rockchip_udelay(unsigned int usec);
20 
21 #endif
22