notsc_setup       266 arch/x86/kernel/tsc.c int __init notsc_setup(char *str)
notsc_setup       276 arch/x86/kernel/tsc.c int __init notsc_setup(char *str)