vdso_timer_info.h 354 B

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