/** @file
  FpgaSocketSetup.h -- Header for FpgaSocketSetup


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __FPGASOCKETSETUP_H__
#define __FPGASOCKETSETUP_H__

#include "../uefi_headers/Uefi.h"

//
// Function Prototypes
//

/// InitializeFpgaSocketSetupContext -- Pre-initialization and global data setup.
///
EFI_STATUS
EFIAPI
InitializeFpgaSocketSetupContext(
  VOID
);

/// FpgaSocketSetupMain -- Main HII form and configuration driver.
///
EFI_STATUS
EFIAPI
FpgaSocketSetupMain(
  EFI_HANDLE ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

/// FpgaSocketConfigurationErrorHandler -- FPGA configuration error / fallback handler.
///
EFI_STATUS
EFIAPI
FpgaSocketConfigurationErrorHandler(
  VOID
);

///
/// ModuleEntryPoint -- UEFI entry point / initialization function
///
EFI_STATUS
EFIAPI
ModuleEntryPoint(
  EFI_HANDLE ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

#endif /* __FPGASOCKETSETUP_H__ */