cpuidle_state_name
char *cpuidle_state_name(unsigned int cpu,
tmp = cpuidle_state_name(cpu, idlestate);
tmp = cpuidle_state_name(this_cpu, num);