Debug.h

Go to the documentation of this file.

 
#ifndef __EDKII_DEBUG_PPI_H__
#define __EDKII_DEBUG_PPI_H__
 
#include <Pi/PiPeiCis.h>
 
//
// Global ID for the EDKII_DEBUG_PPI
//
#define EDKII_DEBUG_PPI_GUID \
  { \
    0x999e699c, 0xb013, 0x475e, {0xb1, 0x7b, 0xf3, 0xa8, 0xae, 0x5c, 0x48, 0x75} \
  }
 
typedef struct _EDKII_DEBUG_PPI EDKII_DEBUG_PPI;
 
typedef
VOID
(EFIAPI *EDKII_DEBUG_BPRINT)(
  IN UINTN                          ErrorLevel,
  IN CONST CHAR8                    *Format,
  IN BASE_LIST                      Marker
  );
 
typedef
VOID
(EFIAPI *EDKII_DEBUG_ASSERT)(
  IN CONST CHAR8                    *FileName,
  IN UINTN                          LineNumber,
  IN CONST CHAR8                    *Description
  );
 
struct _EDKII_DEBUG_PPI {
  EDKII_DEBUG_BPRINT    DebugBPrint;
  EDKII_DEBUG_ASSERT    DebugAssert;
};
 
extern EFI_GUID  gEdkiiDebugPpiGuid;
 
#endif