1/* SPDX-License-Identifier: GPL-2.0 */
2// Copyright (C) 2005-2017 Andes Technology Corporation
3
4extern 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
8
9struct timer_info_t
10{
11	bool cycle_count_down;
12	unsigned long mapping_base;
13	unsigned long cycle_count_reg_offset;
14};
15