1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2005-2017 Andes Technology Corporation
4 extern struct timer_info_t timer_info
;
5 #define EMPTY_VALUE ~(0UL)
6 #define EMPTY_TIMER_MAPPING EMPTY_VALUE
7 #define EMPTY_REG_OFFSET EMPTY_VALUE
11 bool cycle_count_down
;
12 unsigned long mapping_base
;
13 unsigned long cycle_count_reg_offset
;