| /* | |
| * This file is subject to the terms and conditions of the GNU General Public | |
| * License. See the file "COPYING" in the main directory of this archive | |
| * for more details. | |
| * | |
| * Copyright (C) 2001 - 2013 Tensilica Inc. | |
| */ | |
| #ifndef _XTENSA_TIMEX_H | |
| #define _XTENSA_TIMEX_H | |
| #include <asm/processor.h> | |
| #if XCHAL_NUM_TIMERS > 0 && \ | |
| XTENSA_INT_LEVEL(XCHAL_TIMER0_INTERRUPT) <= XCHAL_EXCM_LEVEL | |
| # define LINUX_TIMER 0 | |
| # define LINUX_TIMER_INT XCHAL_TIMER0_INTERRUPT | |
| #elif XCHAL_NUM_TIMERS > 1 && \ | |
| XTENSA_INT_LEVEL(XCHAL_TIMER1_INTERRUPT) <= XCHAL_EXCM_LEVEL | |
| # define LINUX_TIMER 1 | |
| # define LINUX_TIMER_INT XCHAL_TIMER1_INTERRUPT | |
| #elif XCHAL_NUM_TIMERS > 2 && \ | |
| XTENSA_INT_LEVEL(XCHAL_TIMER2_INTERRUPT) <= XCHAL_EXCM_LEVEL | |
| # define LINUX_TIMER 2 | |
| # define LINUX_TIMER_INT XCHAL_TIMER2_INTERRUPT | |
| #else | |
| # error "Bad timer number for Linux configurations!" | |
| #endif | |
| extern unsigned long ccount_freq; | |
| void local_timer_setup(unsigned cpu); | |
| /* | |
| * Register access. | |
| */ | |
| static inline unsigned long get_ccount (void) | |
| { | |
| return xtensa_get_sr(ccount); | |
| } | |
| static inline void set_ccount (unsigned long ccount) | |
| { | |
| xtensa_set_sr(ccount, ccount); | |
| } | |
| static inline unsigned long get_linux_timer (void) | |
| { | |
| return xtensa_get_sr(SREG_CCOMPARE + LINUX_TIMER); | |
| } | |
| static inline void set_linux_timer (unsigned long ccompare) | |
| { | |
| xtensa_set_sr(ccompare, SREG_CCOMPARE + LINUX_TIMER); | |
| } | |
| #include <asm-generic/timex.h> | |
| #endif /* _XTENSA_TIMEX_H */ |