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