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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __USBINT13_H__
#define __USBINT13_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
ReadUnaligned64(
  VOID
);

EFI_STATUS
EFIAPI
CompareGuid(
  VOID
);

EFI_STATUS
EFIAPI
DebugPrint(
  VOID
);

EFI_STATUS
EFIAPI
AssertHandler(
  VOID
);

EFI_STATUS
EFIAPI
GetSystemPowerState(
  VOID
);

EFI_STATUS
EFIAPI
_ModuleEntryPoint(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13DriverEntry(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13AllocateLegacyStructs(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13InitHotplugStructs(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13ReadyToBootCallback(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13BuildInt13ParamTable(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13EnumerateUsbDevices(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13InstallDevice(
  VOID
);

EFI_STATUS
EFIAPI
UsbInt13UninstallDevice(
  VOID
);

EFI_STATUS
EFIAPI
RegisterReadyToBootEvent(
  VOID
);

EFI_STATUS
EFIAPI
// ============================================================================(
  VOID
);

EFI_STATUS
EFIAPI
EFI_SYSTEM_TABLE       *gSystemTable     = NULL;   // 0x1EE0(
  VOID
);

EFI_STATUS
EFIAPI
EFI_RUNTIME_SERVICES   *gRuntimeServices = NULL;   // 0x1EF8(
  VOID
);

EFI_STATUS
EFIAPI
EFI_RUNTIME_SERVICES   *gRuntimeServices2= NULL;   // 0x1F10(
  VOID
);

EFI_STATUS
EFIAPI
USB_INT13_DEVICE_ENTRY *gInt13DeviceTable= NULL;   // 0x1EC8(
  VOID
);

EFI_STATUS
EFIAPI
UINT8                  *gBbsDataBase     = NULL;   // 0x1EB0(
  VOID
);

EFI_STATUS
EFIAPI
EFI_USB_HC_PROTOCOL    *gUsbHcProtocol   = NULL;   // 0x1ED8(
  VOID
);

EFI_STATUS
EFIAPI
VOID                   *gHobList         = NULL;   // 0x1F08(
  VOID
);

EFI_STATUS
EFIAPI
BOOLEAN                gBbsPortPatched   = FALSE;  // 0x1EA8(
  VOID
);

EFI_STATUS
EFIAPI
USB_INT13_HOTPLUG_DEVICE gHotplugFdd   = { NULL, 0xFFFF, 3, 126, "USB Hotplug FDD", NULL };(
  VOID
);

EFI_STATUS
EFIAPI
helpers(
  VOID
);

EFI_STATUS
EFIAPI
support(
  VOID
);

EFI_STATUS
EFIAPI
list retrieval(
  VOID
);

EFI_STATUS
EFIAPI
power state(
  VOID
);

EFI_STATUS
EFIAPI
point(
  VOID
);

EFI_STATUS
EFIAPI
driver entry(
  VOID
);

EFI_STATUS
EFIAPI
struct allocation(
  VOID
);

EFI_STATUS
EFIAPI
init(
  VOID
);

EFI_STATUS
EFIAPI
callback(
  VOID
);

EFI_STATUS
EFIAPI
INT13 param table(
  VOID
);

EFI_STATUS
EFIAPI
enumeration(
  VOID
);

EFI_STATUS
EFIAPI
device(
  VOID
);

EFI_STATUS
EFIAPI
ReadyToBoot event(
  VOID
);

#endif /* __USBINT13_H__ */