![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <timer.h>
Data Fields | |
u32 | timer_load_count0 |
u32 | timer_load_count1 |
u32 | timer_curr_value0 |
u32 | timer_curr_value1 |
u32 | timer_ctrl_reg |
u32 | timer_int_status |
u32 rk3288_timer::timer_ctrl_reg |
Definition at line 18 of file timer.h.
Referenced by init_timer().
u32 rk3288_timer::timer_curr_value0 |
Definition at line 16 of file timer.h.
Referenced by timer_raw_value().
u32 rk3288_timer::timer_curr_value1 |
Definition at line 17 of file timer.h.
Referenced by timer_raw_value().
u32 rk3288_timer::timer_load_count0 |
Definition at line 14 of file timer.h.
Referenced by init_timer().
u32 rk3288_timer::timer_load_count1 |
Definition at line 15 of file timer.h.
Referenced by init_timer().