tsc_marked_unstable   32 drivers/acpi/acpi_pad.c static unsigned char tsc_marked_unstable;
tsc_marked_unstable  161 drivers/acpi/acpi_pad.c 			if (tsc_detected_unstable && !tsc_marked_unstable) {
tsc_marked_unstable  164 drivers/acpi/acpi_pad.c 				tsc_marked_unstable = 1;