guest_tscl       7205 arch/x86/kvm/vmx/vmx.c 	u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles;
guest_tscl       7214 arch/x86/kvm/vmx/vmx.c 	guest_tscl = kvm_read_l1_tsc(vcpu, tscl);
guest_tscl       7215 arch/x86/kvm/vmx/vmx.c 	delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl;