The get_execution_mode returns the current processor execution
mode. Note that several fields in the returned x86_execution_mode_t
structure can be non-zero simultaneously.
typedef struct x86_execution_mode {
uint64 ac:1,
seam:1,
sgx:1,
smm:1,
vmx_root:1,
vmx_non_root:1;
} x86_execution_mode_t;
SIM_INTERFACE(x86_execution_mode) {
x86_execution_mode_t (*get_execution_mode)(conf_object_t *obj);
};
#define X86_EXECUTION_MODE_INTERFACE "x86_execution_mode"