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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __FPKSETUP_H__
#define __FPKSETUP_H__

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

//
// Function Prototypes
//

///
/// ModuleEntryPoint -- UEFI entry point / initialization function
///
EFI_STATUS
EFIAPI
ModuleEntryPoint(
  VOID
);

///
/// InitializeBootRuntimeServices -- UEFI boot/runtime services baseline initialization
///
EFI_STATUS
EFIAPI
InitializeBootRuntimeServices(
  VOID
);

///
/// ApplyFirmwareProtectionKeyPolicy -- FPK register programming and policy application
///
EFI_STATUS
EFIAPI
ApplyFirmwareProtectionKeyPolicy(
  VOID
);

#endif /* __FPKSETUP_H__ */