From 765e761f33945e4b832903642131a7464d6e112e Mon Sep 17 00:00:00 2001 From: Diego Ongaro Date: Sun, 19 Oct 2008 11:45:22 -0500 Subject: [PATCH] switch on vmexit code --- sys/kern/kern_fkvm.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/sys/kern/kern_fkvm.c b/sys/kern/kern_fkvm.c index f9643f3c70f..5245f81d1f5 100644 --- a/sys/kern/kern_fkvm.c +++ b/sys/kern/kern_fkvm.c @@ -670,6 +670,11 @@ fkvm_userpoke(void *data) /* VMRUN */ fkvm_vcpu_run(&vcpu, vmcb); + switch (vmcb->control.exit_code) { + default: + printf("Unhandled vmexit, code=0x%" PRIx64 "\n", vmcb->control.exit_code); + } + return 1; } -- 2.11.4.GIT