CVSROOT: /cvs Module name: src Changes by: d...@cvs.openbsd.org 2023/11/26 06:02:44
Modified files:
sys/arch/amd64/amd64: vmm_machdep.c
Log message:
vmm(4)/vmx: pass correct vpid value to invvpid.
While vmm's use of invvpid in the vmx vcpu run loop is questionable
since we require and use EPT, the vpid value is unquestionably wrong
in these calls.
ok mlarkin@
