1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * (C) Copyright 2015 Rockchip Electronics Co., Ltd
6 #ifndef __ASM_ARCH_TIMER_H
7 #define __ASM_ARCH_TIMER_H
10 u32 timer_load_count0;
11 u32 timer_load_count1;
12 u32 timer_curr_value0;
13 u32 timer_curr_value1;