CVSROOT: /cvs Module name: src Changes by: [email protected] 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@
