diff options
author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-10-26 05:22:16 +0000 |
---|---|---|
committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2016-10-26 05:22:16 +0000 |
commit | bfd35f95c6162a15c5969800e38e1f9f245da99f (patch) | |
tree | 13946c138640cfeba0f7ec9c0ba7950ecabe019c /include/a.out.h | |
parent | 8a92a086abcd58dec6c7b90a8d2e8316da999fc5 (diff) |
Fix a few misc bugs in i386 vmm:
1. Include ioctls needed for pledge support (to be used with the upcoming
i386 vmd diff)
2. Don't assume we can enter an IA32e mode guest on entry when the host
doesn't have unrestricted guest capability
3. Don't enable PAE in the guest CR4 when launching on hosts without
unrestricted guest capability (vmd does not set up PAE bootstrap page
tables)
4. Don't use a bitfield for the MSR bitmap index (same fix as just committed
for amd64)
5. Store and restore EFER properly on exit to ensure that the host NXE
is recovered on exit
Diffstat (limited to 'include/a.out.h')
0 files changed, 0 insertions, 0 deletions