diff options
| author |   mlarkin <mlarkin@openbsd.org> | 2018-06-29 04:50:47 +0000 |
|---|---|---|
| committer | mlarkin <mlarkin@openbsd.org> | 2018-06-29 04:50:47 +0000 |
| commit | 5f6f3d09fa1b90aa38b22a3d29bacd450d1a67b5 (patch) | |
| tree | d6a02714ec7e273d5f3cd75ca705c2f7a608eb9e /sys | |
| parent | Add missing <sys/param.h>. (diff) | |
| download | wireguard-openbsd-5f6f3d09fa1b90aa38b22a3d29bacd450d1a67b5.tar.xz wireguard-openbsd-5f6f3d09fa1b90aa38b22a3d29bacd450d1a67b5.zip | |
vmm: add more information to a debug printf when the guest %xcr0 doesn't
match the host's mask
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index 7ef82f90a76..c1e34233543 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.202 2018/06/22 05:21:45 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.203 2018/06/29 04:50:47 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -3829,8 +3829,9 @@ vmm_fpurestore(struct vcpu *vcpu) if (vcpu->vc_fpuinited) { /* Restore guest XCR0 and FPU context */ if (vcpu->vc_gueststate.vg_xcr0 & ~xsave_mask) { - DPRINTF("%s: guest attempted to set invalid %s\n", - __func__, "bits in xcr0"); + DPRINTF("%s: guest attempted to set invalid bits in " + "xcr0 (guest %%xcr0=0x%llx, host mask=0x%llx)\n", + __func__, vcpu->vc_gueststate.vg_xcr0, ~xsave_mask); return EINVAL; } |