|
TianoCore EDK2 master
|
#include <MdePkg/Include/Register/Intel/StmApi.h>
Data Fields | |
| UINT64 | VmcsPhysPointer |
| UINT32 | DomainType: 4 |
| UINT32 | XStatePolicy: 2 |
| UINT32 | DegradationPolicy: 4 |
| UINT32 | Reserved1: 22 |
| UINT32 | AddOrRemove |
STM VMCS Database Request for STM_API_MANAGE_VMCS_DATABASE VMCALL
| UINT64 STM_VMCS_DATABASE_REQUEST::VmcsPhysPointer |