1 /*++ 2 3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR> 4 This program and the accompanying materials 5 are licensed and made available under the terms and conditions of the BSD License 6 which accompanies this distribution. The full text of the license may be found at 7 http://opensource.org/licenses/bsd-license.php 8 9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11 12 Module Name: 13 14 TianoTypes.h 15 16 Abstract: 17 18 Tiano specific part besides EfiTypes.h 19 20 --*/ 21 22 #ifndef _TIANO_TYPES_H_ 23 #define _TIANO_TYPES_H_ 24 25 #include "EfiTypes.h" 26 #include "TianoSpecTypes.h" 27 28 // 29 // attributes for reserved memory before it is promoted to system memory 30 // 31 #define EFI_MEMORY_PRESENT 0x0100000000000000 32 #define EFI_MEMORY_INITIALIZED 0x0200000000000000 33 #define EFI_MEMORY_TESTED 0x0400000000000000 34 35 // 36 // range for memory mapped port I/O on IPF 37 // 38 #define EFI_MEMORY_PORT_IO 0x4000000000000000 39 40 // 41 // A pointer to a function in IPF points to a plabel. 42 // 43 typedef struct { 44 UINT64 EntryPoint; 45 UINT64 GP; 46 } EFI_PLABEL; 47 48 #endif 49