Symbol: read_tsc
arch/x86/kernel/tsc.c
1141
static u64 read_tsc(struct clocksource *cs)
arch/x86/kvm/x86.c
2908
static u64 read_tsc(void)