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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __UUIDDXE_H__
#define __UUIDDXE_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
);

///
/// ValidateBootServicesTablePointers
///
VOID
EFIAPI
ValidateBootServicesTablePointers(
  IN CONST CHAR8 *FileName,
  IN UINTN       LineNumber,
  IN CONST CHAR8 *Expression
);

///
/// InitializeUuidRuntimeServices
///
EFI_STATUS
EFIAPI
InitializeUuidRuntimeServices(
  VOID
);

///
/// UuidDxeMain
///
EFI_STATUS
EFIAPI
UuidDxeMain(
  VOID
);

#endif /* __UUIDDXE_H__ */