VM_GUEST_XENHVM
case VM_GUEST_XENHVM:
vm_guest = VM_GUEST_XENHVM;
} else if (vm_guest == VM_GUEST_XENHVM) {
if (vm_guest == VM_GUEST_XENHVM) {
[VM_GUEST_XENHVM] = "XenHVM",
if (vm_guest != VM_GUEST_XENHVM)
vm_guest = VM_GUEST_XENHVM;