///\r
/// The SysReq key must be pressed (1) or must not be pressed (0).\r
///\r
- UINT32 SysReqPessed : 1;\r
+ UINT32 SysReqPressed : 1;\r
UINT32 Reserved : 16;\r
///\r
/// Specifies the actual number of entries in EFI_KEY_OPTION.Keys, from 0-3. If\r
//EFI_INPUT_KEY Keys[];\r
} EFI_KEY_OPTION;\r
\r
-#define EFI_KEY_OPTION_SHIFT 0x00000001\r
-#define EFI_KEY_OPTION_CONTROL 0x00000002\r
-#define EFI_KEY_OPTION_ALT 0x00000004\r
-#define EFI_KEY_OPTION_LOGO 0x00000008\r
-#define EFI_KEY_OPTION_MENU 0x00000010\r
-#define EFI_KEY_OPTION_SYSREQ 0x00000020\r
-#define EFI_KEY_CODE_COUNT 0x00000300\r
-\r
//\r
// EFI File location to boot from on removable media devices\r
//\r