/** @file | |
Root include file for DXE Core | |
The DXE Core has its own module type since its entry point definition is | |
unique. This module type should only be used by the DXE core. The build | |
infrastructure must set EFI_SPECIFICATION_VERSION before including this | |
file. To support EDK II/UEFI2.0 set EFI_SPECIFIATION_VERSION to 0x00020000. To | |
support EDK/EFI 1.10 set EFI_SPECIFIATION_VERSION to 0x00010010. | |
EDK_RELEASE_VERSION must be set to a non zero value. | |
EFI_SPECIFIATION_VERSION and EDK_RELEASE_VERSION are set automatically | |
by the build infrastructure for every module. | |
Copyright (c) 2006, Intel Corporation | |
All rights reserved. This program and the accompanying materials | |
are licensed and made available under the terms and conditions of the BSD License | |
which accompanies this distribution. The full text of the license may be found at | |
http://opensource.org/licenses/bsd-license.php | |
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, | |
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
**/ | |
#ifndef __DXE_CORE_H__ | |
#define __DXE_CORE_H__ | |
// | |
// Check to make sure EFI_SPECIFICATION_VERSION and EDK_RELEASE_VERSION are defined. | |
// also check for legal combinations | |
// | |
#if !defined(EFI_SPECIFICATION_VERSION) | |
#error EFI_SPECIFICATION_VERSION not defined | |
#elif !defined(EDK_RELEASE_VERSION) | |
#error EDK_RELEASE_VERSION not defined | |
#elif (EDK_RELEASE_VERSION == 0) | |
#error EDK_RELEASE_VERSION can not be zero | |
#endif | |
#include <Common/UefiBaseTypes.h> | |
#include <Dxe/DxeCis.h> | |
#if defined(MDE_CPU_IPF) | |
#include <SalApi.h> | |
#include <PalApi.h> | |
#endif | |
#endif |