diff options
| author | Dave Voutila <dv@cvs.openbsd.org> | 2023-12-10 21:25:15 +0000 |
|---|---|---|
| committer | Dave Voutila <dv@cvs.openbsd.org> | 2023-12-10 21:25:15 +0000 |
| commit | 10bc60d5773d633080f54eac70890b959f60f4df (patch) | |
| tree | c932f30bfe9967dd5bc1074892078c737ef86b2d /lib/libc | |
| parent | 5bb6e1f7932a99169b4ff4db2c80caf6e85a560f (diff) | |
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@
Diffstat (limited to 'lib/libc')
0 files changed, 0 insertions, 0 deletions