guest_write_tsc   923 arch/x86/kvm/vmx.c 		guest_write_tsc(data);
guest_write_tsc  2093 arch/x86/kvm/vmx.c 	guest_write_tsc(0);