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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __TLSDXE_H__
#define __TLSDXE_H__

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

//
// Function Prototypes
//

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

///
/// InitializeUefiLibrary
///
EFI_STATUS
EFIAPI
InitializeUefiLibrary(
  EFI_HANDLE        ImageHandle,
  EFI_SYSTEM_TABLE * SystemTable
);

///
/// DebugPrintStatus
///
EFI_STATUS
EFIAPI
DebugPrintStatus(
  __int64 ErrorLevel,
  const CHAR8 *Format,
  __int64 Status
);

///
/// AssertFailedFromDriverEntryPoint
///
EFI_STATUS
EFIAPI
AssertFailedFromDriverEntryPoint(
  const CHAR8 *FileName,
  UINTN       Line,
  const CHAR8 *Description
);

///
/// TlsDxeUnload
///
EFI_STATUS
EFIAPI
TlsDxeUnload(
  VOID
);

///
/// ReturnFromModuleEntry
///
EFI_STATUS
EFIAPI
ReturnFromModuleEntry(
  EFI_HANDLE ImageHandle
);

#endif /* __TLSDXE_H__ */