typo - extra semicolon

diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c
index 61b1c4b..f44321c 100644 (file)
--- a/sys/arch/amd64/amd64/vmm.c
+++ b/sys/arch/amd64/amd64/vmm.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: vmm.c,v 1.146 2017/05/29 05:59:45 mlarkin Exp $       */
+/*     $OpenBSD: vmm.c,v 1.147 2017/05/30 04:45:38 mlarkin Exp $       */
 /*
  * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
  *
@@ -4824,7 +4824,7 @@ int
 vmx_handle_xsetbv(struct vcpu *vcpu)
 {
        uint64_t insn_length;
-       uint64_t *rax, *rdx, *rcx;;
+       uint64_t *rax, *rdx, *rcx;
 
        if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
                printf("%s: can't obtain instruction length\n", __func__);