coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
uint64_t | vmcs_revision_id: 31 |
uint64_t | always_zero: 1 |
uint64_t | vmcs_size: 13 |
uint64_t | reserved1: 3 |
uint64_t | vmxon_add_width: 1 |
uint64_t | stm_supported: 1 |
uint64_t | vmcs_memory_type: 4 |
uint64_t | in_out_reporting: 1 |
uint64_t | may_clear_defaults: 1 |
uint64_t | reserved2: 8 |
uint64_t VMX_BASIC_MSR_BITS::stm_supported |
Definition at line 47 of file SmmStm.c.
Referenced by get_vmcs_size().
uint64_t VMX_BASIC_MSR_BITS::vmcs_size |
Definition at line 44 of file SmmStm.c.
Referenced by get_vmcs_size().