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