r4k-timer.h

 1/*
 2 * This file is subject to the terms and conditions of the GNU General Public
 3 * License.  See the file "COPYING" in the main directory of this archive
 4 * for more details.
 5 *
 6 * Copyright (C) 2008 by Ralf Baechle (ralf@linux-mips.org)
 7 */
 8#ifndef __ASM_R4K_TIMER_H
 9#define __ASM_R4K_TIMER_H
10
11#include <linux/compiler.h>
12
13#ifdef CONFIG_SYNC_R4K
14
15extern void synchronise_count_slave(int cpu);
16
17#else
18
19static inline void synchronise_count_slave(int cpu)
20{
21}
22
23#endif
24
25#endif /* __ASM_R4K_TIMER_H */