#include <xtf.h>
#include <arch/vmx.h>
Go to the source code of this file.
◆ VMERR_SUCCESS
◆ VMERR_INVALID
◆ VMERR_VALID
◆ check()
Compare an expectation against what really happenend, printing human-readable information in case of a mismatch.
Definition at line 37 of file util.c.
◆ vmx_collect_data()
void vmx_collect_data |
( |
void |
| ) |
|
Collect real information about the VT-x environment, for use by test.
Definition at line 55 of file util.c.
◆ clear_vmcs()
static void clear_vmcs |
( |
void * |
_vmcs, |
|
|
uint32_t |
rev |
|
) |
| |
|
inlinestatic |
◆ stub_vmxon()
◆ stub_vmptrld()
◆ stub_vmxon_user()
◆ test_msr_vmx()
void test_msr_vmx |
( |
void |
| ) |
|
Definition at line 54 of file msr.c.
◆ test_vmxon()
◆ vmcs_revid
Hardware VMCS Revision ID.
Definition at line 53 of file util.c.