maximum_time       86 drivers/cpufreq/pcc-cpufreq.c 	u32 maximum_time;
maximum_time      474 drivers/cpufreq/pcc-cpufreq.c 		ioread32(&pcch_hdr->maximum_time),