24ffe931b9
kernel before we call ExitBootServices(). I've typed the definitions in efifpswa.h from the Intel FPSWA manual (urk).
51 lines
849 B
C
51 lines
849 B
C
/* $FreeBSD$ */
|
|
/*++
|
|
|
|
Copyright (c) 1998 Intel Corporation
|
|
|
|
Module Name:
|
|
|
|
efi.h
|
|
|
|
Abstract:
|
|
|
|
Public EFI header files
|
|
|
|
|
|
|
|
Revision History
|
|
|
|
--*/
|
|
|
|
//
|
|
// Build flags on input
|
|
// EFI32
|
|
// EFI_DEBUG - Enable debugging code
|
|
// EFI_NT_EMULATOR - Building for running under NT
|
|
//
|
|
|
|
|
|
#ifndef _EFI_INCLUDE_
|
|
#define _EFI_INCLUDE_
|
|
|
|
#define EFI_FIRMWARE_VENDOR L"INTEL"
|
|
#define EFI_FIRMWARE_MAJOR_REVISION 12
|
|
#define EFI_FIRMWARE_MINOR_REVISION 33
|
|
#define EFI_FIRMWARE_REVISION ((EFI_FIRMWARE_MAJOR_REVISION <<16) | (EFI_FIRMWARE_MINOR_REVISION))
|
|
|
|
#include "efibind.h"
|
|
#include "efidef.h"
|
|
#include "efidevp.h"
|
|
#include "efiprot.h"
|
|
#include "eficon.h"
|
|
#include "efiser.h"
|
|
#include "efi_nii.h"
|
|
#include "efipxebc.h"
|
|
#include "efinet.h"
|
|
#include "efiapi.h"
|
|
#include "efifs.h"
|
|
#include "efifpswa.h"
|
|
#include "efierr.h"
|
|
|
|
#endif
|