get_tsc_mode      398 arch/x86/kernel/process_32.c int get_tsc_mode(unsigned long adr)
get_tsc_mode      432 arch/x86/kernel/process_64.c int get_tsc_mode(unsigned long adr)