Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
freebsd
GitHub Repository: freebsd/freebsd-src
 Path: blob/main/stand/efi/include/efi.h
34879 views
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


109