set_max_cstate     88 drivers/acpi/processor_idle.c 	{ set_max_cstate, "Clevo 5600D", {
set_max_cstate     92 drivers/acpi/processor_idle.c 	{ set_max_cstate, "Pavilion zv5000", {
set_max_cstate     96 drivers/acpi/processor_idle.c 	{ set_max_cstate, "Asus L8400B", {