Index: linux-2.6/drivers/kvm/kvm_main.c
===================================================================
--- linux-2.6.orig/drivers/kvm/kvm_main.c	2007-03-02 17:31:59.000000000 +0200
+++ linux-2.6/drivers/kvm/kvm_main.c	2007-03-02 17:34:13.000000000 +0200
@@ -67,6 +67,7 @@
 	{ "halt_exits", &kvm_stat.halt_exits },
 	{ "request_irq", &kvm_stat.request_irq_exits },
 	{ "irq_exits", &kvm_stat.irq_exits },
+	{ "vcpu_migrated", &kvm_stat.vcpu_migrated },
 	{ NULL, NULL }
 };
 
Index: linux-2.6/drivers/kvm/svm.c
===================================================================
--- linux-2.6.orig/drivers/kvm/svm.c	2007-03-02 17:32:02.000000000 +0200
+++ linux-2.6/drivers/kvm/svm.c	2007-03-02 17:33:13.000000000 +0200
@@ -621,6 +621,8 @@
 		if (vcpu->cpu != -1) {
 			u64 tsc_this, tsc_previous;
 
+			++kvm_stat.vcpu_migrated;
+
 			/* Get TSC value for this and the previous cpu. */
 			rdtscll(tsc_this);
 			smp_call_function_single(vcpu->cpu, ipi_rdtscll,
Index: linux-2.6/drivers/kvm/vmx.c
===================================================================
--- linux-2.6.orig/drivers/kvm/vmx.c	2007-03-02 17:32:06.000000000 +0200
+++ linux-2.6/drivers/kvm/vmx.c	2007-03-02 17:33:34.000000000 +0200
@@ -242,6 +242,8 @@
 		if (vcpu->cpu != -1) {
 			u64 tsc_this, tsc_previous, guest_tsc_offset;
 
+			++kvm_stat.vcpu_migrated;
+
 			/* Get TSC value for this and the previous cpu. */
 			rdtscll(tsc_this);
 			smp_call_function_single(vcpu->cpu, ipi_rdtscll,