DebugService.h

Go to the documentation of this file.

 
#ifndef __DEBUG_SERVICE_H__
#define __DEBUG_SERVICE_H__
 
#include <Ppi/Debug.h>
 
VOID
EFIAPI
PeiDebugBPrint (
  IN UINTN        ErrorLevel,
  IN CONST CHAR8  *Format,
  IN BASE_LIST    Marker
  );
 
VOID
EFIAPI
PeiDebugAssert (
  IN CONST CHAR8  *FileName,
  IN UINTN        LineNumber,
  IN CONST CHAR8  *Description
  );
 
#endif