diff options
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index cee2d1955f7..27d46b65c4f 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.204 2018/06/30 19:24:07 guenther Exp $ */ +/* $OpenBSD: vmm.c,v 1.205 2018/07/02 05:37:18 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -5337,8 +5337,8 @@ vmx_handle_cr(struct vcpu *vcpu) case 14: r = vcpu->vc_gueststate.vg_r14; break; case 15: r = vcpu->vc_gueststate.vg_r15; break; } - DPRINTF("%s: mov to cr%d @ %llx, data=%llx\n", __func__, crnum, - vcpu->vc_gueststate.vg_rip, r); + DPRINTF("%s: mov to cr%d @ %llx, data=0x%llx\n", + __func__, crnum, vcpu->vc_gueststate.vg_rip, r); } if (crnum == 0) |