disable_TSC       413 arch/x86/kernel/process_32.c 		disable_TSC();
disable_TSC       447 arch/x86/kernel/process_64.c 		disable_TSC();
disable_TSC        20 include/asm-x86/tsc.h extern void disable_TSC(void);
disable_TSC        78 kernel/seccomp.c 		disable_TSC();