4 #include <xen/interface/xenpmu.h>
6 irqreturn_t
xen_pmu_irq_handler(int irq
, void *dev_id
);
7 void xen_pmu_init(int cpu
);
8 void xen_pmu_finish(int cpu
);
9 bool is_xen_pmu(int cpu
);
10 bool pmu_msr_read(unsigned int msr
, uint64_t *val
, int *err
);
11 bool pmu_msr_write(unsigned int msr
, uint32_t low
, uint32_t high
, int *err
);
12 int pmu_apic_update(uint32_t reg
);
13 unsigned long long xen_read_pmc(int counter
);
15 #endif /* __XEN_PMU_H */
