coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
VMX_BASIC_MSR_BITS | bits |
uint64_t | uint64 |
msr_t | msr |
VMX_BASIC_MSR_BITS VMX_BASIC_MSR::bits |
Definition at line 55 of file SmmStm.c.
Referenced by get_vmcs_size().
msr_t VMX_BASIC_MSR::msr |
Definition at line 57 of file SmmStm.c.
Referenced by get_vmcs_size().