xref: /freebsd/stand/efi/include/efi.h (revision 5ca8e32633c4ffbbcd6762e5888b6a4ba0708c6c)
1 /*++
2 
3 Copyright (c)  1999 - 2002 Intel Corporation. All rights reserved
4 This software and associated documentation (if any) is furnished
5 under a license and may only be used or copied in accordance
6 with the terms of the license. Except as permitted by such
7 license, no part of this software or documentation may be
8 reproduced, stored in a retrieval system, or transmitted in any
9 form or by any means without the express written consent of
10 Intel Corporation.
11 
12 Module Name:
13 
14     efi.h
15 
16 Abstract:
17 
18     Public EFI header files
19 
20 
21 
22 Revision History
23 
24 --*/
25 
26 //
27 // Build flags on input
28 //  EFI32
29 //  EFI_DEBUG               - Enable debugging code
30 //  EFI_NT_EMULATOR         - Building for running under NT
31 //
32 
33 
34 #ifndef _EFI_INCLUDE_
35 #define _EFI_INCLUDE_
36 
37 #define EFI_FIRMWARE_VENDOR         L"INTEL"
38 #define EFI_FIRMWARE_MAJOR_REVISION 14
39 #define EFI_FIRMWARE_MINOR_REVISION 62
40 #define EFI_FIRMWARE_REVISION ((EFI_FIRMWARE_MAJOR_REVISION <<16) | (EFI_FIRMWARE_MINOR_REVISION))
41 
42 //
43 // Basic EFI types of various widths.
44 //
45 
46 #include <stdint.h>
47 #ifndef ACPI_THREAD_ID		/* ACPI's definitions are fine */
48 #define ACPI_USE_SYSTEM_INTTYPES 1	/* Tell ACPI we've defined types */
49 
50 typedef uint64_t   UINT64;
51 typedef int64_t    INT64;
52 typedef uint32_t   UINT32;
53 typedef int32_t    INT32;
54 typedef uint16_t   UINT16;
55 typedef int16_t    INT16;
56 typedef uint8_t    UINT8;
57 typedef int8_t     INT8;
58 
59 #ifdef __LP64__
60 typedef int64_t    INTN;
61 typedef uint64_t   UINTN;
62 #else
63 typedef int32_t    INTN;
64 typedef uint32_t   UINTN;
65 #endif
66 
67 #endif
68 
69 #undef VOID
70 #define VOID    void
71 
72 
73 #include "efibind.h"
74 #include "efidef.h"
75 #include "efidevp.h"
76 #include "efipciio.h"
77 #include "efiprot.h"
78 #include "eficon.h"
79 #include "eficonsctl.h"
80 #include "efiser.h"
81 #include "efi_nii.h"
82 #include "efipxebc.h"
83 #include "efinet.h"
84 #include "efiapi.h"
85 #include "efifs.h"
86 #include "efierr.h"
87 #include "efigop.h"
88 #include "efiip.h"
89 #include "efiudp.h"
90 #include "efitcp.h"
91 #include "efipoint.h"
92 #include "efiuga.h"
93 #include <sys/types.h>
94 
95 /*
96  * Global variables
97  */
98 extern EFI_LOADED_IMAGE *boot_img;
99 extern bool boot_services_active;
100 
101 /*
102  * FreeBSD UUID
103  */
104 #define FREEBSD_BOOT_VAR_GUID \
105 	{ 0xCFEE69AD, 0xA0DE, 0x47A9, {0x93, 0xA8, 0xF6, 0x31, 0x06, 0xF8, 0xAE, 0x99} }
106 
107 #endif
108