1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __SOC_ROCKCHIP_RK3288_TIMER_H__ 4 #define __SOC_ROCKCHIP_RK3288_TIMER_H__ 5 6 #include <stdint.h> 7 #include <soc/addressmap.h> 8 #include <soc/clock.h> 9 #include <timer.h> 10 11 static const u32 clocks_per_usec = OSC_HZ/USECS_PER_SEC; 12 13 struct rk3288_timer { 14 u32 timer_load_count0; 15 u32 timer_load_count1; 16 u32 timer_curr_value0; 17 u32 timer_curr_value1; 18 u32 timer_ctrl_reg; 19 u32 timer_int_status; 20 }; 21 22 static struct rk3288_timer * const timer7_ptr = (void *)TIMER7_BASE; 23 24 #define TIMER_LOAD_VAL 0xffffffff 25 26 #endif /* __SOC_ROCKCHIP_RK3288_TIMER_H__ */ 27