/** @file Platform init DXE driver header file. Copyright (c) 2013 Intel Corporation. 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 _PLATFORM_TYPES_H_ #define _PLATFORM_TYPES_H_ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define BLOCK_SIZE_32KB 0x8000 #define BLOCK_SIZE_64KB 0x10000 // // Function prototypes for routines private to this driver. // EFI_STATUS EFIAPI CreateConfigEvents ( VOID ); EFI_STATUS EFIAPI PlatformPcal9555Config ( IN CONST EFI_PLATFORM_TYPE PlatformType ); #endif