-#ifndef __UEFI_H__\r
-#define __UEFI_H__\r
-\r
-\r
-//\r
-// Check to make sure EFI_SPECIFICATION_VERSION and EDK_RELEASE_VERSION are defined.\r
-// also check for legal combinations\r
-//\r
-#if !defined(EFI_SPECIFICATION_VERSION)\r
- #error EFI_SPECIFICATION_VERSION not defined\r
-#elif !defined(EDK_RELEASE_VERSION)\r
- #error EDK_RELEASE_VERSION not defined\r
-#elif EDK_RELEASE_VERSION == 0x00000000\r
-//\r
-// UEFI mode with no Tiano extensions is legal\r
-//\r
-#elif (EDK_RELEASE_VERSION < 0x00020000) && (EFI_SPECIFICATION_VERSION >= 0x00020000)\r
- #error Illegal combination of EFI_SPECIFICATION_VERSION and EDK_RELEASE_VERSION versions\r
-#endif\r
-\r
-\r
-\r
-#include <Common/UefiBaseTypes.h>\r