Barrelfish
vmx_checks.c File Reference

Before entry into a VM-guest commences, the state of logical processor and VMCS are checked to ensure that the following will transpire successfully: More...

Detailed Description

Before entry into a VM-guest commences, the state of logical processor and VMCS are checked to ensure that the following will transpire successfully:

The guest-state area, host-state area, and VMX controls are checked using these functions to guarantee that these tests pass.