|
Xen Test Framework
|
#include <msr.h>
Data Fields | ||
| uint64_t | raw | |
| struct { | ||
| uint32_t vmcs_rev_id:31 | ||
| bool mbz:1 | ||
| uint32_t vmcs_size:13 | ||
| uint32_t :3 | ||
| bool paddr_32bit:1 | ||
| bool smm_dual:1 | ||
| uint32_t vmcs_mem_type:4 | ||
| bool inouts_exit_info:1 | ||
| bool true_ctls:1 | ||
| }; | ||
| struct { ... } |