pmu.h (631B)
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef __XEN_PMU_H 3#define __XEN_PMU_H 4 5#include <xen/interface/xenpmu.h> 6 7extern bool is_xen_pmu; 8 9irqreturn_t xen_pmu_irq_handler(int irq, void *dev_id); 10#ifdef CONFIG_XEN_HAVE_VPMU 11void xen_pmu_init(int cpu); 12void xen_pmu_finish(int cpu); 13#else 14static inline void xen_pmu_init(int cpu) {} 15static inline void xen_pmu_finish(int cpu) {} 16#endif 17bool pmu_msr_read(unsigned int msr, uint64_t *val, int *err); 18bool pmu_msr_write(unsigned int msr, uint32_t low, uint32_t high, int *err); 19int pmu_apic_update(uint32_t reg); 20unsigned long long xen_read_pmc(int counter); 21 22#endif /* __XEN_PMU_H */