--- vmx.c~	2008-07-07 10:08:07.000000000 -0500
+++ vmx.c	2008-07-07 10:27:20.000000000 -0500
@@ -2727,6 +2727,7 @@
 				  u32 failure_reason)
 {
 	unsigned long exit_qualification = vmcs_readl(EXIT_QUALIFICATION);
+	printk(KERN_INFO "kvm: vmentry failed\n");
 	switch (failure_reason) {
 		case EXIT_REASON_INVALID_GUEST_STATE:
 			return invalid_guest_state(vcpu, kvm_run, failure_reason);