read_tsc         1085 arch/x86/kernel/tsc.c static u64 read_tsc(struct clocksource *cs)
read_tsc         2061 arch/x86/kvm/x86.c static u64 read_tsc(void)