artulab
projects / openbsd / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f27bd5) | patch
vmm(4)/vmx: pass correct vpid value to invvpid.
authordv <dv@openbsd.org>
Sun, 26 Nov 2023 13:02:44 +0000 (13:02 +0000)
committerdv <dv@openbsd.org>
Sun, 26 Nov 2023 13:02:44 +0000 (13:02 +0000)
commit65178f413c1258d59531892a0351b5ab7751cd00
treef5946cf2626b133aa83687ff754e8c508221870ftree | snapshot
parent0f27bd574f9f8760c024aba3aa5a241d9baa7289commit | diff
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@
sys/arch/amd64/amd64/vmm_machdep.c diff | blob | history
OpenBSD src
by Ahmet Artu Yildirim