freebsd-dev/sys/boot/efi/include/efi.h

/* $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
First approximation of an ia64 EFI loader. Not functional. 2001-06-09 16:49:51 +00:00			`/* $FreeBSD$ */`
			`/*++`

			`Copyright (c) 1998 Intel Corporation`

			`Module Name:`

			`efi.h`

			`Abstract:`

			`Public EFI header files`



			`Revision History`

			`--*/`

An almost mechanical sweep to replace C++ style comments with C style comments. This is not an attempt to conform to style(9). Such has lower priority. 2002-05-19 03:17:22 +00:00			`/*`
			`* Build flags on input`
			`* EFI32`
			`* EFI_DEBUG - Enable debugging code`
			`* EFI_NT_EMULATOR - Building for running under NT`
			`*/`
First approximation of an ia64 EFI loader. Not functional. 2001-06-09 16:49:51 +00:00
			`#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"`
Lookup the EFI_FPSWA driver and pass the interface pointer through to the kernel before we call ExitBootServices(). I've typed the definitions in efifpswa.h from the Intel FPSWA manual (urk). 2001-11-19 07:09:47 +00:00			`#include "efifpswa.h"`
First approximation of an ia64 EFI loader. Not functional. 2001-06-09 16:49:51 +00:00			`#include "efierr.h"`

			`#endif`