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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __NVMEINT13_H__
#define __NVMEINT13_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
ModuleEntryPoint(
  EFI_HANDLE ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

__int64
EFIAPI
NvmeInt13DriverEntry(
  __int64 StoredImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

unsigned __int64
EFIAPI
NvmeInt13InstallDevice(
  __int64 *a1
);

__int64
EFIAPI
GetDebugOutputProtocol(
  VOID
);

void
EFIAPI
DebugPrint(
  UINTN ErrorLevel,
  const CHAR8 *Format,
  ...
);

__int64
EFIAPI
AssertBreak(
  __int64 a1,
  __int64 a2,
  __int64 a3
);

void *
EFIAPI
GetHobList(
  VOID
);

bool
EFIAPI
IsHobGuidMatch(
  __int64 UnusedArg,
  const UINT64 *Buffer
);

UINT64
EFIAPI
ReadUnaligned64(
  const UINT64 *Buffer
);

#endif /* __NVMEINT13_H__ */