/*
* Performance-monitoring counters driver.
* Optional PPC32-specific init-time tests.
*
* Copyright (C) 2004 Mikael Pettersson
*/
#ifdef CONFIG_PERFCTR_INIT_TESTS
extern void perfctr_ppc64_init_tests(void);
#else
static inline void perfctr_ppc64_init_tests(void) { }
#endif