notsc_setup        80 arch/x86/kernel/tsc.c int __init notsc_setup(char *str)
notsc_setup        92 arch/x86/kernel/tsc.c int __init notsc_setup(char *str)