coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
timer.h
Go to the documentation of this file.
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 
12 
13 struct rk3288_timer {
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__ */
#define USECS_PER_SEC
Definition: timer.h:8
#define TIMER7_BASE
Definition: addressmap.h:64
#define OSC_HZ
Definition: clock.h:9
static const u32 clocks_per_usec
Definition: timer.h:11
static struct rk3288_timer *const timer7_ptr
Definition: timer.h:22
uint32_t u32
Definition: stdint.h:51
u32 timer_load_count0
Definition: timer.h:14
u32 timer_load_count1
Definition: timer.h:15
u32 timer_int_status
Definition: timer.h:19
u32 timer_curr_value0
Definition: timer.h:16
u32 timer_curr_value1
Definition: timer.h:17
u32 timer_ctrl_reg
Definition: timer.h:18