Fix IA32_EPT_VPID_CAP_XO_TRANSLATIONS specification
authordv <dv@openbsd.org>
Mon, 29 Mar 2021 12:39:02 +0000 (12:39 +0000)
committerdv <dv@openbsd.org>
Mon, 29 Mar 2021 12:39:02 +0000 (12:39 +0000)
commitb134fa217db201f6e402bd40b585b1dd8064d634
tree7a308723256682c388d60bc48ee26fae0bd6197c
parent1f25fa5db5e5b3d240ad71b404053f099fcf5a13
Fix IA32_EPT_VPID_CAP_XO_TRANSLATIONS specification

Per Intel SDM (Vol 3D, App. A.10) bit 0 should be read as a 1 if enabled.

From Adam Steen. ok mlarkin@
sys/arch/amd64/include/specialreg.h