diff options
| author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2018-06-29 04:50:48 +0000 |
|---|---|---|
| committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2018-06-29 04:50:48 +0000 |
| commit | 229108f2f30345ed145858d61f4a6ed3e19ac9a2 (patch) | |
| tree | e2a0df2aadcdc54f1faf6d34e2801011fd0cf3a0 | |
| parent | 0ebdc86ec304be00d13a20325fffbf4f804b80ce (diff) | |
vmm: add more information to a debug printf when the guest %xcr0 doesn't
match the host's mask
| -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; } |