150 extern int cppc_get_desired_perf(int cpunum, u64 *desired_perf);
151 extern int cppc_get_nominal_perf(int cpunum, u64 *nominal_perf);
152 extern int cppc_get_highest_perf(int cpunum, u64 *highest_perf);
167 extern int cpc_read_ffh(int cpunum, struct cpc_reg *reg, u64 *val);
168 extern int cpc_write_ffh(int cpunum, struct cpc_reg *reg, u64 val);
169 extern int cppc_get_epp_perf(int cpunum, u64 *epp_perf);
180 static inline int cppc_get_desired_perf(int cpunum, u64 *desired_perf)  in cppc_get_desired_perf()  argument
184 static inline int cppc_get_nominal_perf(int cpunum, u64 *nominal_perf)  in cppc_get_nominal_perf()  argument
188 static inline int cppc_get_highest_perf(int cpunum, u64 *highest_perf)  in cppc_get_highest_perf()  argument
232 static inline int cpc_read_ffh(int cpunum, struct cpc_reg *reg, u64 *val)  in cpc_read_ffh()  argument
236 static inline int cpc_write_ffh(int cpunum, struct cpc_reg *reg, u64 val)  in cpc_write_ffh()  argument
244 static inline int cppc_get_epp_perf(int cpunum, u64 *epp_perf)  in cppc_get_epp_perf()  argument