2 * arch/ubicom32/include/asm/timex.h
3 * Ubicom32 architecture timex specifications.
5 * (C) Copyright 2009, Ubicom, Inc.
7 * This file is part of the Ubicom32 Linux Kernel Port.
9 * The Ubicom32 Linux Kernel Port is free software: you can redistribute
10 * it and/or modify it under the terms of the GNU General Public License
11 * as published by the Free Software Foundation, either version 2 of the
12 * License, or (at your option) any later version.
14 * The Ubicom32 Linux Kernel Port is distributed in the hope that it
15 * will be useful, but WITHOUT ANY WARRANTY; without even the implied
16 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
17 * the GNU General Public License for more details.
19 * You should have received a copy of the GNU General Public License
20 * along with the Ubicom32 Linux Kernel Port. If not,
21 * see <http://www.gnu.org/licenses/>.
23 * Ubicom32 implementation derived from (with many thanks):
28 #ifndef _ASM_UBICOM32_TIMEX_H
29 #define _ASM_UBICOM32_TIMEX_H
31 #define CLOCK_TICK_RATE 266000000
33 // #define ARCH_HAS_READ_CURRENT_TIMER
35 typedef unsigned long cycles_t
;
37 static inline cycles_t
get_cycles(void)
42 extern int timer_alloc(void);
43 extern void timer_set(int timervector
, unsigned int cycles
);
44 extern int timer_reset(int timervector
, unsigned int cycles
);
45 extern void timer_tick_init(void);
46 extern void timer_device_init(void);
48 #if defined(CONFIG_GENERIC_CLOCKEVENTS_BROADCAST)
49 extern void local_timer_interrupt(void);
52 #if defined(CONFIG_LOCAL_TIMERS) || defined(CONFIG_GENERIC_CLOCKEVENTS_BROADCAST)
53 extern int local_timer_setup(unsigned int cpu
);
56 #endif /* _ASM_UBICOM32_TIMEX_H */