read_tsc         1117 arch/x86/kernel/tsc.c 	.read                   = read_tsc,
read_tsc         1136 arch/x86/kernel/tsc.c 	.read                   = read_tsc,
read_tsc         2103 arch/x86/kvm/x86.c 		*tsc_timestamp = read_tsc();