diff --git a/sys/amd64/vmm/intel/vmx_support.S b/sys/amd64/vmm/intel/vmx_support.S
--- a/sys/amd64/vmm/intel/vmx_support.S
+++ b/sys/amd64/vmm/intel/vmx_support.S
@@ -171,13 +171,11 @@
 	 */
 	movq	%rsp, %rdi		/* point %rdi back to 'vmxctx' */
 	movl	$VMX_VMLAUNCH_ERROR, %eax
-	jmp	decode_inst_error
-
+	/* FALLTHROUGH */
 decode_inst_error:
 	movl	$VM_FAIL_VALID, %r11d
-	jz	inst_error
-	movl	$VM_FAIL_INVALID, %r11d
-inst_error:
+	movl	$VM_FAIL_INVALID, %esi
+	cmovnzl	%esi, %r11d
 	movl	%r11d, VMXCTX_INST_FAIL_STATUS(%rdi)
 
 	/*