![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <StmApi.h>
Data Fields | |
uint64_t | vmcs_phys_pointer |
uint8_t | expected_domain_type |
uint8_t | degraded_domain_type |
uint8_t ENTRY_EVT_MLE_DOMAIN_TYPE_DEGRADED::degraded_domain_type |
uint8_t ENTRY_EVT_MLE_DOMAIN_TYPE_DEGRADED::expected_domain_type |
uint64_t ENTRY_EVT_MLE_DOMAIN_TYPE_DEGRADED::vmcs_phys_pointer |