tsc_check_state   192 drivers/acpi/processor_idle.c static void tsc_check_state(int state)
tsc_check_state   215 drivers/acpi/processor_idle.c static void tsc_check_state(int state) { return; }