Symbol: vgettsc
arch/x86/kvm/x86.c
2977
ns += vgettsc(&gtod->raw_clock, tsc_timestamp, &mode);
arch/x86/kvm/x86.c
3000
ns += vgettsc(&gtod->clock, tsc_timestamp, &mode);
arch/x86/kvm/x86.c
3020
ns += vgettsc(&gtod->clock, tsc_timestamp, &mode);