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;