33 lines
437 B
C
33 lines
437 B
C
/*++
|
|
|
|
Copyright (c) 2024-2025, Quinn Stephens.
|
|
Provided under the BSD 3-Clause license.
|
|
|
|
Module Name:
|
|
|
|
efi.h
|
|
|
|
Abstract:
|
|
|
|
Provides EFI header files.
|
|
|
|
--*/
|
|
|
|
#ifndef _EFI_H
|
|
#define _EFI_H
|
|
|
|
#if defined(__x86_64__)
|
|
#include "X64/efibind.h"
|
|
#else
|
|
#error Unsupported architecture
|
|
#endif
|
|
|
|
#include "efidef.h"
|
|
#include "efidevp.h"
|
|
#include "eficon.h"
|
|
#include "efiprot.h"
|
|
#include "efiapi.h"
|
|
#include "efierr.h"
|
|
|
|
#endif /* !_EFI_H */
|