#define KPERF_ARCH_H
struct kperf_timer;
-void kperf_mp_broadcast_running(struct kperf_timer *trigger);
+bool kperf_mp_broadcast_other_running(struct kperf_timer *trigger);
-void kperf_signal_handler(void);
-kern_return_t kperf_get_phys_footprint(task_t, uint64_t *);
+void kperf_signal_handler(unsigned int cpu_number);
#endif /* KPERF_ARCH_H */