next_tsc_offset   796 arch/x86/kvm/trace.h 		 __u64 next_tsc_offset),
next_tsc_offset   797 arch/x86/kvm/trace.h 	TP_ARGS(vcpu_id, previous_tsc_offset, next_tsc_offset),
next_tsc_offset   802 arch/x86/kvm/trace.h 		__field(	__u64,	next_tsc_offset			)
next_tsc_offset   808 arch/x86/kvm/trace.h 		__entry->next_tsc_offset	= next_tsc_offset;
next_tsc_offset   812 arch/x86/kvm/trace.h 		  __entry->previous_tsc_offset, __entry->next_tsc_offset)