From 70116b55860db8b5a35fcaea536fa3fdc742aa19 Mon Sep 17 00:00:00 2001
From: mlarkin <mlarkin@openbsd.org>
Date: Tue, 30 May 2017 04:45:38 +0000
Subject: [PATCH] typo - extra semicolon

---
 sys/arch/amd64/amd64/vmm.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c
index 61b1c4b899e..f44321c6415 100644
--- 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__);
-- 
2.20.1