| #ifndef __XEN_PMU_H | |
| #define __XEN_PMU_H | |
| #include <xen/interface/xenpmu.h> | |
| irqreturn_t xen_pmu_irq_handler(int irq, void *dev_id); | |
| void xen_pmu_init(int cpu); | |
| void xen_pmu_finish(int cpu); | |
| bool is_xen_pmu(int cpu); | |
| bool pmu_msr_read(unsigned int msr, uint64_t *val, int *err); | |
| bool pmu_msr_write(unsigned int msr, uint32_t low, uint32_t high, int *err); | |
| int pmu_apic_update(uint32_t reg); | |
| unsigned long long xen_read_pmc(int counter); | |
| #endif /* __XEN_PMU_H */ |