r4k-timer.h 604 B

123456789101112131415161718192021222324252627282930
  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 ([email protected])
  7. */
  8. #ifndef __ASM_R4K_TIMER_H
  9. #define __ASM_R4K_TIMER_H
  10. #include <linux/compiler.h>
  11. #ifdef CONFIG_SYNC_R4K
  12. extern void synchronise_count_master(int cpu);
  13. extern void synchronise_count_slave(int cpu);
  14. #else
  15. static inline void synchronise_count_master(int cpu)
  16. {
  17. }
  18. static inline void synchronise_count_slave(int cpu)
  19. {
  20. }
  21. #endif
  22. #endif /* __ASM_R4K_TIMER_H */