notsc_setup        70 arch/x86/include/asm/tsc.h extern int notsc_setup(char *);
notsc_setup       169 arch/x86/kernel/apic/apic.c 	notsc_setup(NULL);
notsc_setup       283 arch/x86/kernel/tsc.c __setup("notsc", notsc_setup);