delta_cyc        9364 arch/x86/kvm/x86.c 		u64 delta_cyc = max_tsc - local_tsc;
delta_cyc        9368 arch/x86/kvm/x86.c 				vcpu->arch.tsc_offset_adjustment += delta_cyc;