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);