/*++

Copyright (c) 2024-2025, Quinn Stephens.
Provided under the BSD 3-Clause license.

Module Name:

   efi.h

Abstract:

   Provides EFI header files.

--*/

#pragma once

#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 */