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