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