From 0291360fb4425d1aae01bcb4fee3f24fc43f3b48 Mon Sep 17 00:00:00 2001
From: Mike Larkin <mlarkin@cvs.openbsd.org>
Date: Fri, 19 May 2017 06:29:22 +0000
Subject: Respect max VPID/ASID limits. VMX VPIDs are capped at 4095, for now.

---
 sys/arch/amd64/include/vmmvar.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sys/arch/amd64/include/vmmvar.h')

diff --git a/sys/arch/amd64/include/vmmvar.h b/sys/arch/amd64/include/vmmvar.h
index 6c4f0b45b47..1784cc97cc3 100644
--- a/sys/arch/amd64/include/vmmvar.h
+++ b/sys/arch/amd64/include/vmmvar.h
@@ -1,4 +1,4 @@
-/*	$OpenBSD: vmmvar.h,v 1.37 2017/05/05 07:46:59 mlarkin Exp $	*/
+/*	$OpenBSD: vmmvar.h,v 1.38 2017/05/19 06:29:21 mlarkin Exp $	*/
 /*
  * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
  *
@@ -682,6 +682,7 @@ struct vcpu {
 
 	struct vm *vc_parent;
 	uint32_t vc_id;
+	uint16_t vc_vpid;
 	u_int vc_state;
 	SLIST_ENTRY(vcpu) vc_vcpu_link;
 
-- 
cgit v1.2.3