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);