1 #ifndef __XEN_PMSTAT_H_
2 #define __XEN_PMSTAT_H_
3 
4 #include <xen/types.h>
5 #include <public/platform.h> /* for struct xen_processor_power */
6 #include <public/sysctl.h>   /* for struct pm_cx_stat */
7 
8 int set_px_pminfo(uint32_t cpu, struct xen_processor_performance *perf);
9 long set_cx_pminfo(uint32_t cpu, struct xen_processor_power *power);
10 uint32_t pmstat_get_cx_nr(uint32_t cpuid);
11 int pmstat_get_cx_stat(uint32_t cpuid, struct pm_cx_stat *stat);
12 int pmstat_reset_cx_stat(uint32_t cpuid);
13 
14 int do_get_pm_info(struct xen_sysctl_get_pmstat *op);
15 int do_pm_op(struct xen_sysctl_pm_op *op);
16 
17 #endif /* __XEN_PMSTAT_H_ */
18