4 #include <xen/interface/xenpmu.h>
6 irqreturn_t
xen_pmu_irq_handler(int irq
, void *dev_id
);
7 #ifdef CONFIG_XEN_HAVE_VPMU
8 void xen_pmu_init(int cpu
);
9 void xen_pmu_finish(int cpu
);
11 static inline void xen_pmu_init(int cpu
) {}
12 static inline void xen_pmu_finish(int cpu
) {}
14 bool is_xen_pmu(int cpu
);
15 bool pmu_msr_read(unsigned int msr
, uint64_t *val
, int *err
);
16 bool pmu_msr_write(unsigned int msr
, uint32_t low
, uint32_t high
, int *err
);
17 int pmu_apic_update(uint32_t reg
);
18 unsigned long long xen_read_pmc(int counter
);
20 #endif /* __XEN_PMU_H */