vmm(4): flush EPTs after enabling VMX mode.
authordv <dv@openbsd.org>
Sun, 10 Dec 2023 21:25:14 +0000 (21:25 +0000)
committerdv <dv@openbsd.org>
Sun, 10 Dec 2023 21:25:14 +0000 (21:25 +0000)
commit0a6d19ec1e7074703dcb7d5a3c1613d45bea1cd9
treec7e2ea0e3eeca0c6d55853ac2fd091a9f0540454
parent535e83c19447517271277d5fc053d569b797feec
vmm(4): flush EPTs after enabling VMX mode.

The Intel SDM states the vmxon/vmxoff instructions don't invalidate
any EPT states on the cpu and recommend invalidating the global
context. vmm(4) opportunistically disables and enables VMX mode as
vms are created or terminated, so this adds a recommended
housekeeping step per the SDM.

While here, tidy up the CR4 toggling by moving it to after the MSR
feature check.

ok mlarkin@
sys/arch/amd64/amd64/vmm_machdep.c