vgettsc          2127 arch/x86/kvm/x86.c 		ns += vgettsc(tsc_timestamp, &mode);
vgettsc          2147 arch/x86/kvm/x86.c 		ns += vgettsc(tsc_timestamp, &mode);