![]() |
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 |
uint32_t | domain_type: 4 |
uint32_t | x_state_policy: 2 |
uint32_t | degradation_policy: 4 |
uint32_t | reserved1: 22 |
uint32_t | add_or_remove |