UserBootServices.h

Go to the documentation of this file.

 
#ifndef OC_USER_BOOT_SERVICES_H
#define OC_USER_BOOT_SERVICES_H
 
#include <Uefi.h>
#include <Library/BaseMemoryLib.h>
#include <Library/MemoryAllocationLib.h>
#include <Library/UefiLib.h>
#include <Library/UefiApplicationEntryPoint.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/DebugLib.h>
 
extern EFI_BOOT_SERVICES                mBootServices;
extern EFI_SYSTEM_TABLE                 mSystemTable;
extern EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL  mConOut;
 
EFI_TPL
EFIAPI
DummyRaiseTPL (
  IN EFI_TPL  NewTpl
  );
 
VOID
EFIAPI
DummyRestoreTPL (
  IN EFI_TPL  NewTpl
  );
 
EFI_STATUS
EFIAPI
DummyLocateProtocol (
  IN  EFI_GUID *Protocol,
  IN  VOID *Registration, OPTIONAL
  OUT VOID      **Interface
  );
 
EFI_STATUS
EFIAPI
DummyAllocatePages (
  IN     EFI_ALLOCATE_TYPE     Type,
  IN     EFI_MEMORY_TYPE       MemoryType,
  IN     UINTN                 Pages,
  IN OUT EFI_PHYSICAL_ADDRESS  *Memory
  );
 
EFI_STATUS
EFIAPI
DummyInstallConfigurationTable (
  IN EFI_GUID  *Guid,
  IN VOID      *Table
  );
 
EFI_STATUS
EFIAPI
DummyCalculateCrc32 (
  IN  VOID    *Data,
  IN  UINTN   DataSize,
  OUT UINT32  *CrcOut
  );
 
EFI_STATUS
EFIAPI
NullTextOutputString (
  IN EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL  *This,
  IN CHAR16                           *String
  );
 
EFI_STATUS
EFIAPI
DummyGetTime (
  OUT EFI_TIME               *Time,
  OUT EFI_TIME_CAPABILITIES  *Capabilities
  );
 
#endif // OC_USER_BOOT_SERVICES_H