r4k-timer.h (604B)
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_master(int cpu); 16extern void synchronise_count_slave(int cpu); 17 18#else 19 20static inline void synchronise_count_master(int cpu) 21{ 22} 23 24static inline void synchronise_count_slave(int cpu) 25{ 26} 27 28#endif 29 30#endif /* __ASM_R4K_TIMER_H */