1/*++
2
3Copyright (c)  1999 - 2002 Intel Corporation. All rights reserved
4This software and associated documentation (if any) is furnished
5under a license and may only be used or copied in accordance
6with the terms of the license. Except as permitted by such
7license, no part of this software or documentation may be
8reproduced, stored in a retrieval system, or transmitted in any
9form or by any means without the express written consent of
10Intel Corporation.
11
12Module Name:
13
14    efi.h
15
16Abstract:
17
18    Public EFI header files
19
20
21
22Revision 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
50typedef uint64_t   UINT64;
51typedef int64_t    INT64;
52typedef uint32_t   UINT32;
53typedef int32_t    INT32;
54typedef uint16_t   UINT16;
55typedef int16_t    INT16;
56typedef uint8_t    UINT8;
57typedef int8_t     INT8;
58
59#ifdef __LP64__
60typedef int64_t    INTN;
61typedef uint64_t   UINTN;
62#else
63typedef int32_t    INTN;
64typedef 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 */
98extern EFI_LOADED_IMAGE *boot_img;
99extern 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