-///\r
-/// Save State register index\r
-///\r
-typedef enum {\r
- ///\r
- /// x86/X64 standard registers\r
- ///\r
- EFI_SMM_SAVE_STATE_REGISTER_GDTBASE = 4,\r
- EFI_SMM_SAVE_STATE_REGISTER_IDTBASE = 5,\r
- EFI_SMM_SAVE_STATE_REGISTER_LDTBASE = 6,\r
- EFI_SMM_SAVE_STATE_REGISTER_GDTLIMIT = 7,\r
- EFI_SMM_SAVE_STATE_REGISTER_IDTLIMIT = 8,\r
- EFI_SMM_SAVE_STATE_REGISTER_LDTLIMIT = 9,\r
- EFI_SMM_SAVE_STATE_REGISTER_LDTINFO = 10,\r
- EFI_SMM_SAVE_STATE_REGISTER_ES = 20,\r
- EFI_SMM_SAVE_STATE_REGISTER_CS = 21,\r
- EFI_SMM_SAVE_STATE_REGISTER_SS = 22,\r
- EFI_SMM_SAVE_STATE_REGISTER_DS = 23,\r
- EFI_SMM_SAVE_STATE_REGISTER_FS = 24,\r
- EFI_SMM_SAVE_STATE_REGISTER_GS = 25,\r
- EFI_SMM_SAVE_STATE_REGISTER_LDTR_SEL = 26,\r
- EFI_SMM_SAVE_STATE_REGISTER_TR_SEL = 27,\r
- EFI_SMM_SAVE_STATE_REGISTER_DR7 = 28,\r
- EFI_SMM_SAVE_STATE_REGISTER_DR6 = 29,\r
- EFI_SMM_SAVE_STATE_REGISTER_R8 = 30,\r
- EFI_SMM_SAVE_STATE_REGISTER_R9 = 31,\r
- EFI_SMM_SAVE_STATE_REGISTER_R10 = 32,\r
- EFI_SMM_SAVE_STATE_REGISTER_R11 = 33,\r
- EFI_SMM_SAVE_STATE_REGISTER_R12 = 34,\r
- EFI_SMM_SAVE_STATE_REGISTER_R13 = 35,\r
- EFI_SMM_SAVE_STATE_REGISTER_R14 = 36,\r
- EFI_SMM_SAVE_STATE_REGISTER_R15 = 37, \r
- EFI_SMM_SAVE_STATE_REGISTER_RAX = 38,\r
- EFI_SMM_SAVE_STATE_REGISTER_RBX = 39,\r
- EFI_SMM_SAVE_STATE_REGISTER_RCX = 40,\r
- EFI_SMM_SAVE_STATE_REGISTER_RDX = 41,\r
- EFI_SMM_SAVE_STATE_REGISTER_RSP = 42,\r
- EFI_SMM_SAVE_STATE_REGISTER_RBP = 43,\r
- EFI_SMM_SAVE_STATE_REGISTER_RSI = 44,\r
- EFI_SMM_SAVE_STATE_REGISTER_RDI = 45,\r
- EFI_SMM_SAVE_STATE_REGISTER_RIP = 46,\r
- EFI_SMM_SAVE_STATE_REGISTER_RFLAGS = 51,\r
- EFI_SMM_SAVE_STATE_REGISTER_CR0 = 52,\r
- EFI_SMM_SAVE_STATE_REGISTER_CR3 = 53,\r
- EFI_SMM_SAVE_STATE_REGISTER_CR4 = 54,\r
- EFI_SMM_SAVE_STATE_REGISTER_FCW = 256,\r
- EFI_SMM_SAVE_STATE_REGISTER_FSW = 257,\r
- EFI_SMM_SAVE_STATE_REGISTER_FTW = 258, \r
- EFI_SMM_SAVE_STATE_REGISTER_OPCODE = 259,\r
- EFI_SMM_SAVE_STATE_REGISTER_FP_EIP = 260,\r
- EFI_SMM_SAVE_STATE_REGISTER_FP_CS = 261,\r
- EFI_SMM_SAVE_STATE_REGISTER_DATAOFFSET = 262,\r
- EFI_SMM_SAVE_STATE_REGISTER_FP_DS = 263,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM0 = 264,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM1 = 265,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM2 = 266,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM3 = 267,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM4 = 268,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM5 = 269,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM6 = 270,\r
- EFI_SMM_SAVE_STATE_REGISTER_MM7 = 271,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM0 = 272,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM1 = 273,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM2 = 274,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM3 = 275,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM4 = 276,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM5 = 277,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM6 = 278,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM7 = 279,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM8 = 280,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM9 = 281,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM10 = 282,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM11 = 283,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM12 = 284,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM13 = 285,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM14 = 286,\r
- EFI_SMM_SAVE_STATE_REGISTER_XMM15 = 287, \r
- ///\r
- /// Pseudo-Registers\r
- ///\r
- EFI_SMM_SAVE_STATE_REGISTER_IO = 512,\r
- EFI_SMM_SAVE_STATE_REGISTER_LMA = 513,\r
- EFI_SMM_SAVE_STATE_REGISTER_PROCESSOR_ID = 514\r
-} EFI_SMM_SAVE_STATE_REGISTER; \r
-\r
-///\r
-/// The EFI_SMM_SAVE_STATE_REGISTER_LMA pseudo-register values\r
-/// If the processor acts in 32-bit mode at the time the SMI occurred, the pseudo register value \r
-/// EFI_SMM_SAVE_STATE_REGISTER_LMA_32BIT is returned in Buffer. Otherwise, \r
-/// EFI_SMM_SAVE_STATE_REGISTER_LMA_64BIT is returned in Buffer.\r
-///\r
-#define EFI_SMM_SAVE_STATE_REGISTER_LMA_32BIT 32\r
-#define EFI_SMM_SAVE_STATE_REGISTER_LMA_64BIT 64\r