cpc_write_ffh 1024 drivers/acpi/cppc_acpi.c return cpc_write_ffh(cpu, reg, val); cpc_write_ffh 144 include/acpi/cppc_acpi.h extern int cpc_write_ffh(int cpunum, struct cpc_reg *reg, u64 val);