CVSROOT: /cvs Module name: src Changes by: d...@cvs.openbsd.org 2021/03/29 06:39:02
Modified files:
sys/arch/amd64/include: specialreg.h
Log message:
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@
