[mirror_edk2.git] / MdePkg / Include / Library / DebugLib.h

/** @file\r
  Provides services to print debug and assert messages to a debug output device.\r
\r
Copyright (c) 2006 - 2008, Intel Corporation\r
All rights reserved. This program and the accompanying materials\r
are licensed and made available under the terms and conditions of the BSD License\r
which accompanies this distribution.  The full text of the license may be found at\r
http://opensource.org/licenses/bsd-license.php\r
\r
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
\r
**/\r
\r
#ifndef __DEBUG_LIB_H__\r
#define __DEBUG_LIB_H__\r
\r
//\r
// Declare bits for PcdDebugPropertyMask\r
//\r
#define DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED       0x01\r
#define DEBUG_PROPERTY_DEBUG_PRINT_ENABLED        0x02\r
#define DEBUG_PROPERTY_DEBUG_CODE_ENABLED         0x04\r
#define DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED       0x08\r
#define DEBUG_PROPERTY_ASSERT_BREAKPOINT_ENABLED  0x10\r
#define DEBUG_PROPERTY_ASSERT_DEADLOOP_ENABLED    0x20\r
\r
//\r
// Declare bits for PcdDebugPrintErrorLevel and the ErrorLevel parameter of DebugPrint()\r
//\r
#define DEBUG_INIT      0x00000001  // Initialization\r
#define DEBUG_WARN      0x00000002  // Warnings\r
#define DEBUG_LOAD      0x00000004  // Load events\r
#define DEBUG_FS        0x00000008  // EFI File system\r
#define DEBUG_POOL      0x00000010  // Alloc & Free's\r
#define DEBUG_PAGE      0x00000020  // Alloc & Free's\r
#define DEBUG_INFO      0x00000040  // Verbose\r
#define DEBUG_DISPATCH  0x00000080  // PEI/DXE Dispatchers\r
#define DEBUG_VARIABLE  0x00000100  // Variable\r
#define DEBUG_BM        0x00000400  // Boot Manager\r
#define DEBUG_BLKIO     0x00001000  // BlkIo Driver\r
#define DEBUG_NET       0x00004000  // SNI Driver\r
#define DEBUG_UNDI      0x00010000  // UNDI Driver\r
#define DEBUG_LOADFILE  0x00020000  // UNDI Driver\r
#define DEBUG_EVENT     0x00080000  // Event messages\r
#define DEBUG_ERROR     0x80000000  // Error\r
\r
//\r
// Aliases of debug message mask bits\r
//\r
#define EFI_D_INIT      DEBUG_INIT\r
#define EFI_D_WARN      DEBUG_WARN\r
#define EFI_D_LOAD      DEBUG_LOAD\r
#define EFI_D_FS        DEBUG_FS\r
#define EFI_D_POOL      DEBUG_POOL\r
#define EFI_D_PAGE      DEBUG_PAGE\r
#define EFI_D_INFO      DEBUG_INFO\r
#define EFI_D_DISPATCH  DEBUG_DISPATCH\r
#define EFI_D_VARIABLE  DEBUG_VARIABLE\r
#define EFI_D_BM        DEBUG_BM\r
#define EFI_D_BLKIO     DEBUG_BLKIO\r
#define EFI_D_NET       DEBUG_NET\r
#define EFI_D_UNDI      DEBUG_UNDI\r
#define EFI_D_LOADFILE  DEBUG_LOADFILE\r
#define EFI_D_EVENT     DEBUG_EVENT\r
#define EFI_D_ERROR     DEBUG_ERROR\r
\r
/**\r
\r
  Prints a debug message to the debug output device if the specified error level is enabled.\r
\r
  If any bit in ErrorLevel is also set in PcdDebugPrintErrorLevel, then print \r
  the message specified by Format and the associated variable argument list to \r
  the debug output device.\r
\r
  If Format is NULL, then ASSERT().\r
\r
  @param  ErrorLevel  The error level of the debug message.\r
  @param  Format      Format string for the debug message to print.\r
  @param  ...         Variable argument list whose contents are accessed \r
                      based on the format string specified by Format.\r
\r
**/\r
VOID\r
EFIAPI\r
DebugPrint (\r
  IN  UINTN        ErrorLevel,\r
  IN  CONST CHAR8  *Format,\r
  ...\r
  );\r
\r
\r
/**\r
\r
  Prints an assert message containing a filename, line number, and description.  \r
  This may be followed by a breakpoint or a dead loop.\r
\r
  Print a message of the form "ASSERT <FileName>(<LineNumber>): <Description>\n"\r
  to the debug output device.  If DEBUG_PROPERTY_ASSERT_BREAKPOINT_ENABLED bit of \r
  PcdDebugProperyMask is set then CpuBreakpoint() is called. Otherwise, if \r
  DEBUG_PROPERTY_ASSERT_DEADLOOP_ENABLED bit of PcdDebugProperyMask is set then \r
  CpuDeadLoop() is called.  If neither of these bits are set, then this function \r
  returns immediately after the message is printed to the debug output device.\r
  DebugAssert() must actively prevent recursion.  If DebugAssert() is called while\r
  processing another DebugAssert(), then DebugAssert() must return immediately.\r
\r
  If FileName is NULL, then a <FileName> string of "(NULL) Filename" is printed.\r
\r
  If Description is NULL, then a <Description> string of "(NULL) Description" is printed.\r
\r
  @param  FileName     Pointer to the name of the source file that generated the assert condition.\r
  @param  LineNumber   The line number in the source file that generated the assert condition\r
  @param  Description  Pointer to the description of the assert condition.\r
\r
**/\r
VOID\r
EFIAPI\r
DebugAssert (\r
  IN CONST CHAR8  *FileName,\r
  IN UINTN        LineNumber,\r
  IN CONST CHAR8  *Description\r
  );\r
\r
\r
/**\r
\r
  Fills a target buffer with PcdDebugClearMemoryValue, and returns the target buffer.\r
\r
  This function fills Length bytes of Buffer with the value specified by \r
  PcdDebugClearMemoryValue, and returns Buffer.\r
\r
  If Buffer is NULL, then ASSERT().\r
\r
  If Length is greater than (MAX_ADDRESS -Buffer + 1), then ASSERT(). \r
\r
  @param   Buffer  Pointer to the target buffer to be filled with PcdDebugClearMemoryValue.\r
  @param   Length  Number of bytes in Buffer to fill with zeros PcdDebugClearMemoryValue. \r
\r
  @return  Buffer  Pointer to the target buffer filled with PcdDebugClearMemoryValue.\r
\r
**/\r
VOID *\r
EFIAPI\r
DebugClearMemory (\r
  OUT VOID  *Buffer,\r
  IN UINTN  Length\r
  );\r
\r
\r
/**\r
  \r
  Returns TRUE if ASSERT() macros are enabled.\r
\r
  This function returns TRUE if the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of \r
  PcdDebugProperyMask is set.  Otherwise FALSE is returned.\r
\r
  @retval  TRUE    The DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set.\r
  @retval  FALSE   The DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear.\r
\r
**/\r
BOOLEAN\r
EFIAPI\r
DebugAssertEnabled (\r
  VOID\r
  );\r
\r
\r
/**\r
  \r
  Returns TRUE if DEBUG()macros are enabled.\r
\r
  This function returns TRUE if the DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of \r
  PcdDebugProperyMask is set.  Otherwise FALSE is returned.\r
\r
  @retval  TRUE    The DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is set.\r
  @retval  FALSE   The DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is clear.\r
\r
**/\r
BOOLEAN\r
EFIAPI\r
DebugPrintEnabled (\r
  VOID\r
  );\r
\r
\r
/**\r
  \r
  Returns TRUE if DEBUG_CODE()macros are enabled.\r
\r
  This function returns TRUE if the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of \r
  PcdDebugProperyMask is set.  Otherwise FALSE is returned.\r
\r
  @retval  TRUE    The DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set.\r
  @retval  FALSE   The DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is clear.\r
\r
**/\r
BOOLEAN\r
EFIAPI\r
DebugCodeEnabled (\r
  VOID\r
  );\r
\r
\r
/**\r
  \r
  Returns TRUE if DEBUG_CLEAR_MEMORY()macro is enabled.\r
\r
  This function returns TRUE if the DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of \r
  PcdDebugProperyMask is set.  Otherwise FALSE is returned.\r
\r
  @retval  TRUE    The DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is set.\r
  @retval  FALSE   The DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is clear.\r
\r
**/\r
BOOLEAN\r
EFIAPI\r
DebugClearMemoryEnabled (\r
  VOID\r
  );\r
\r
\r
/**\r
  \r
  Internal worker macro that calls DebugAssert().\r
\r
  This macro calls DebugAssert() passing in the filename, line number, and \r
  expression that evailated to FALSE.\r
\r
  @param  Expression  Boolean expression that evailated to FALSE\r
\r
**/\r
#define _ASSERT(Expression)  DebugAssert (__FILE__, __LINE__, #Expression)\r
\r
\r
/**\r
  \r
  Internal worker macro that calls DebugPrint().\r
\r
  This macro calls DebugPrint() passing in the debug error level, a format \r
  string, and a variable argument list.\r
\r
  @param  Expression  Expression containing an error level, a format string, \r
                      and a variable argument list based on the format string.\r
\r
**/\r
#define _DEBUG(Expression)   DebugPrint Expression\r
\r
\r
/**\r
  \r
  Macro that calls DebugAssert() if a expression evaluates to FALSE.\r
\r
  If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro evaluates the Boolean expression specified by Expression.  If \r
  Expression evaluates to FALSE, then DebugAssert() is called passing in the \r
  source filename, source line number, and Expression.\r
\r
  @param  Expression  Boolean expression\r
\r
**/\r
#define ASSERT(Expression)        \\r
  do {                            \\r
    if (DebugAssertEnabled ()) {  \\r
      if (!(Expression)) {        \\r
        _ASSERT (Expression);     \\r
      }                           \\r
    }                             \\r
  } while (FALSE)\r
\r
\r
/**\r
  \r
  Macro that calls DebugPrint().\r
\r
  If the DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro passes Expression to DebugPrint().\r
\r
  @param  Expression  Expression containing an error level, a format string, \r
                      and a variable argument list based on the format string.\r
  \r
\r
**/\r
#define DEBUG(Expression)        \\r
  do {                           \\r
    if (DebugPrintEnabled ()) {  \\r
      _DEBUG (Expression);       \\r
    }                            \\r
  } while (FALSE)\r
\r
\r
/**\r
  \r
  Macro that calls DebugAssert() if an EFI_STATUS evaluates to an error code.\r
\r
  If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro evaluates the EFI_STATUS value specified by StatusParameter.  \r
  If StatusParameter is an error code, then DebugAssert() is called passing in \r
  the source filename, source line number, and StatusParameter.\r
\r
  @param  StatusParameter  EFI_STATUS value to evaluate.\r
\r
**/\r
#define ASSERT_EFI_ERROR(StatusParameter)                                              \\r
  do {                                                                                 \\r
    if (DebugAssertEnabled ()) {                                                       \\r
      if (EFI_ERROR (StatusParameter)) {                                               \\r
        DEBUG ((EFI_D_ERROR, "\nASSERT_EFI_ERROR (Status = %r)\n", StatusParameter));  \\r
        _ASSERT (!EFI_ERROR (StatusParameter));                                        \\r
      }                                                                                \\r
    }                                                                                  \\r
  } while (FALSE)\r
\r
\r
/**\r
  \r
  Macro that calls DebugAssert() if a protocol is already installed in the \r
  handle database.\r
\r
  If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear, \r
  then return.\r
\r
  If Handle is NULL, then a check is made to see if the protocol specified by Guid \r
  is present on any handle in the handle database.  If Handle is not NULL, then \r
  a check is made to see if the protocol specified by Guid is present on the \r
  handle specified by Handle.  If the check finds the protocol, then DebugAssert() \r
  is called passing in the source filename, source line number, and Guid.\r
\r
  If Guid is NULL, then ASSERT().\r
\r
  @param  Handle  The handle to check for the protocol.  This is an optional \r
                  parameter that may be NULL.  If it is NULL, then the entire \r
                  handle database is searched.\r
\r
  @param  Guid    Pointer to a protocol GUID.\r
\r
**/\r
#define ASSERT_PROTOCOL_ALREADY_INSTALLED(Handle, Guid)                               \\r
  do {                                                                                \\r
    if (DebugAssertEnabled ()) {                                                      \\r
      VOID  *Instance;                                                                \\r
      ASSERT (Guid != NULL);                                                          \\r
      if (Handle == NULL) {                                                           \\r
        if (!EFI_ERROR (gBS->LocateProtocol ((EFI_GUID *)Guid, NULL, &Instance))) {   \\r
          _ASSERT (Guid already installed in database);                               \\r
        }                                                                             \\r
      } else {                                                                        \\r
        if (!EFI_ERROR (gBS->HandleProtocol (Handle, (EFI_GUID *)Guid, &Instance))) { \\r
          _ASSERT (Guid already installed on Handle);                                 \\r
        }                                                                             \\r
      }                                                                               \\r
    }                                                                                 \\r
  } while (FALSE)\r
\r
\r
/**\r
  Macro that marks the beginning of debug source code.\r
\r
  If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro marks the beginning of source code that is included in a module.\r
  Otherwise, the source lines between DEBUG_CODE_BEGIN() and DEBUG_CODE_END() \r
  are not included in a module.\r
\r
**/\r
#define DEBUG_CODE_BEGIN()  do { if (DebugCodeEnabled ()) { UINT8  __DebugCodeLocal\r
\r
\r
/**\r
  \r
  Macro that marks the end of debug source code.\r
\r
  If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro marks the end of source code that is included in a module.  \r
  Otherwise, the source lines between DEBUG_CODE_BEGIN() and DEBUG_CODE_END() \r
  are not included in a module.\r
\r
**/\r
#define DEBUG_CODE_END()    __DebugCodeLocal = 0; __DebugCodeLocal++; } } while (FALSE)\r
\r
\r
/**\r
  \r
  Macro that declares a section of debug source code.\r
\r
  If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
  then the source code specified by Expression is included in a module.  \r
  Otherwise, the source specified by Expression is not included in a module.\r
\r
**/\r
#define DEBUG_CODE(Expression)  \\r
  DEBUG_CODE_BEGIN ();          \\r
  Expression                    \\r
  DEBUG_CODE_END ()\r
\r
\r
/**\r
  \r
  Macro that calls DebugClearMemory() to clear a buffer to a default value.\r
\r
  If the DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is set, \r
  then this macro calls DebugClearMemory() passing in Address and Length.\r
\r
  @param  Address  Pointer to a buffer.\r
  @param  Length   The number of bytes in the buffer to set.\r
\r
**/\r
#define DEBUG_CLEAR_MEMORY(Address, Length)  \\r
  do {                                       \\r
    if (DebugClearMemoryEnabled ()) {        \\r
      DebugClearMemory (Address, Length);    \\r
    }                                        \\r
  } while (FALSE)\r
\r
\r
/**\r
\r
  Macro that calls DebugAssert() if the containing record does not have a \r
  matching signature.  If the signatures matches, then a pointer to the data \r
  structure that contains a specified field of that data structure is returned.  \r
  This is a light weight method hide information by placing a public data \r
  structure inside a larger private data structure and using a pointer to the \r
  public data structure to retrieve a pointer to the private data structure.\r
\r
  If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear, \r
  then this macro computes the offset, in bytes, of field specified by Field \r
  from the beginning of the  data structure specified by TYPE.  This offset is \r
  subtracted from Record, and is used to return a pointer to a data structure \r
  of the type specified by TYPE.\r
\r
  If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set,  \r
  then this macro computes the offset, in bytes, of field specified by Field from \r
  the beginning of the data structure specified by TYPE.  This offset is \r
  subtracted from Record, and is used to compute a pointer to a data structure of \r
  the type specified by TYPE.  The Signature field of the data structure specified \r
  by TYPE is compared to TestSignature.  If the signatures match, then a pointer \r
  to the pointer to a data structure of the type specified by TYPE is returned.  \r
  If the signatures do not match, then DebugAssert() is called with a description \r
  of "CR has a bad signature" and Record is returned.  \r
\r
  If the data type specified by TYPE does not contain the field specified by Field, \r
  then the module will not compile.\r
\r
  If TYPE does not contain a field called Signature, then the module will not \r
  compile.\r
\r
  @param  Record         Pointer to the field specified by Field within a data \r
                         structure of type TYPE.\r
\r
  @param  TYPE           The name of the data structure type to return  This \r
                         data structure must contain the field specified by Field. \r
\r
  @param  Field          The name of the field in the data structure specified \r
                         by TYPE to which Record points.\r
\r
  @param  TestSignature  The 32-bit signature value to match.\r
\r
**/\r
#define CR(Record, TYPE, Field, TestSignature)                                          \\r
  (DebugAssertEnabled () && (_CR (Record, TYPE, Field)->Signature != TestSignature)) ?  \\r
  (TYPE *) (_ASSERT (CR has Bad Signature), Record) :                                   \\r
  _CR (Record, TYPE, Field)\r
    \r
#endif\r
Commit	Line	Data
fb3df220	1	/** @file\r
50a64e5b	2	Provides services to print debug and assert messages to a debug output device.\r
fb3df220	3	\r
50a64e5b	4	Copyright (c) 2006 - 2008, Intel Corporation\r
	5	All rights reserved. This program and the accompanying materials\r
	6	are licensed and made available under the terms and conditions of the BSD License\r
	7	which accompanies this distribution. The full text of the license may be found at\r
	8	http://opensource.org/licenses/bsd-license.php\r
fb3df220	9	\r
50a64e5b	10	THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
50a64e5b	11	WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
fb3df220	12	\r
	13	**/\r
	14	\r
	15	#ifndef __DEBUG_LIB_H__\r
	16	#define __DEBUG_LIB_H__\r
	17	\r
	18	//\r
	19	// Declare bits for PcdDebugPropertyMask\r
	20	//\r
	21	#define DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED 0x01\r
	22	#define DEBUG_PROPERTY_DEBUG_PRINT_ENABLED 0x02\r
	23	#define DEBUG_PROPERTY_DEBUG_CODE_ENABLED 0x04\r
	24	#define DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED 0x08\r
	25	#define DEBUG_PROPERTY_ASSERT_BREAKPOINT_ENABLED 0x10\r
	26	#define DEBUG_PROPERTY_ASSERT_DEADLOOP_ENABLED 0x20\r
	27	\r
	28	//\r
	29	// Declare bits for PcdDebugPrintErrorLevel and the ErrorLevel parameter of DebugPrint()\r
	30	//\r
	31	#define DEBUG_INIT 0x00000001 // Initialization\r
	32	#define DEBUG_WARN 0x00000002 // Warnings\r
	33	#define DEBUG_LOAD 0x00000004 // Load events\r
	34	#define DEBUG_FS 0x00000008 // EFI File system\r
	35	#define DEBUG_POOL 0x00000010 // Alloc & Free's\r
	36	#define DEBUG_PAGE 0x00000020 // Alloc & Free's\r
	37	#define DEBUG_INFO 0x00000040 // Verbose\r
c759eb45	38	#define DEBUG_DISPATCH 0x00000080 // PEI/DXE Dispatchers\r
fb3df220	39	#define DEBUG_VARIABLE 0x00000100 // Variable\r
	40	#define DEBUG_BM 0x00000400 // Boot Manager\r
	41	#define DEBUG_BLKIO 0x00001000 // BlkIo Driver\r
	42	#define DEBUG_NET 0x00004000 // SNI Driver\r
	43	#define DEBUG_UNDI 0x00010000 // UNDI Driver\r
	44	#define DEBUG_LOADFILE 0x00020000 // UNDI Driver\r
	45	#define DEBUG_EVENT 0x00080000 // Event messages\r
	46	#define DEBUG_ERROR 0x80000000 // Error\r
	47	\r
	48	//\r
	49	// Aliases of debug message mask bits\r
	50	//\r
	51	#define EFI_D_INIT DEBUG_INIT\r
	52	#define EFI_D_WARN DEBUG_WARN\r
	53	#define EFI_D_LOAD DEBUG_LOAD\r
	54	#define EFI_D_FS DEBUG_FS\r
	55	#define EFI_D_POOL DEBUG_POOL\r
	56	#define EFI_D_PAGE DEBUG_PAGE\r
	57	#define EFI_D_INFO DEBUG_INFO\r
c759eb45	58	#define EFI_D_DISPATCH DEBUG_DISPATCH\r
fb3df220	59	#define EFI_D_VARIABLE DEBUG_VARIABLE\r
	60	#define EFI_D_BM DEBUG_BM\r
	61	#define EFI_D_BLKIO DEBUG_BLKIO\r
	62	#define EFI_D_NET DEBUG_NET\r
	63	#define EFI_D_UNDI DEBUG_UNDI\r
	64	#define EFI_D_LOADFILE DEBUG_LOADFILE\r
	65	#define EFI_D_EVENT DEBUG_EVENT\r
	66	#define EFI_D_ERROR DEBUG_ERROR\r
	67	\r
	68	/**\r
	69	\r
	70	Prints a debug message to the debug output device if the specified error level is enabled.\r
	71	\r
	72	If any bit in ErrorLevel is also set in PcdDebugPrintErrorLevel, then print \r
	73	the message specified by Format and the associated variable argument list to \r
	74	the debug output device.\r
	75	\r
	76	If Format is NULL, then ASSERT().\r
	77	\r
	78	@param ErrorLevel The error level of the debug message.\r
	79	@param Format Format string for the debug message to print.\r
285010e7	80	@param ... Variable argument list whose contents are accessed \r
285010e7	81	based on the format string specified by Format.\r
fb3df220	82	\r
	83	**/\r
	84	VOID\r
	85	EFIAPI\r
	86	DebugPrint (\r
	87	IN UINTN ErrorLevel,\r
	88	IN CONST CHAR8 *Format,\r
	89	...\r
	90	);\r
	91	\r
	92	\r
	93	/**\r
	94	\r
	95	Prints an assert message containing a filename, line number, and description. \r
	96	This may be followed by a breakpoint or a dead loop.\r
	97	\r
	98	Print a message of the form "ASSERT <FileName>(<LineNumber>): <Description>\n"\r
	99	to the debug output device. If DEBUG_PROPERTY_ASSERT_BREAKPOINT_ENABLED bit of \r
	100	PcdDebugProperyMask is set then CpuBreakpoint() is called. Otherwise, if \r
	101	DEBUG_PROPERTY_ASSERT_DEADLOOP_ENABLED bit of PcdDebugProperyMask is set then \r
	102	CpuDeadLoop() is called. If neither of these bits are set, then this function \r
	103	returns immediately after the message is printed to the debug output device.\r
584125bc	104	DebugAssert() must actively prevent recursion. If DebugAssert() is called while\r
fb3df220	105	processing another DebugAssert(), then DebugAssert() must return immediately.\r
fb3df220	106	\r
584125bc	107	If FileName is NULL, then a <FileName> string of "(NULL) Filename" is printed.\r
fb3df220	108	\r
584125bc	109	If Description is NULL, then a <Description> string of "(NULL) Description" is printed.\r
fb3df220	110	\r
	111	@param FileName Pointer to the name of the source file that generated the assert condition.\r
	112	@param LineNumber The line number in the source file that generated the assert condition\r
	113	@param Description Pointer to the description of the assert condition.\r
	114	\r
	115	**/\r
	116	VOID\r
	117	EFIAPI\r
	118	DebugAssert (\r
	119	IN CONST CHAR8 *FileName,\r
	120	IN UINTN LineNumber,\r
	121	IN CONST CHAR8 *Description\r
	122	);\r
	123	\r
	124	\r
	125	/**\r
	126	\r
	127	Fills a target buffer with PcdDebugClearMemoryValue, and returns the target buffer.\r
	128	\r
	129	This function fills Length bytes of Buffer with the value specified by \r
	130	PcdDebugClearMemoryValue, and returns Buffer.\r
	131	\r
	132	If Buffer is NULL, then ASSERT().\r
	133	\r
584125bc	134	If Length is greater than (MAX_ADDRESS -Buffer + 1), then ASSERT(). \r
fb3df220	135	\r
eceb3a4c	136	@param Buffer Pointer to the target buffer to be filled with PcdDebugClearMemoryValue.\r
fb3df220	137	@param Length Number of bytes in Buffer to fill with zeros PcdDebugClearMemoryValue. \r
fb3df220	138	\r
eceb3a4c	139	@return Buffer Pointer to the target buffer filled with PcdDebugClearMemoryValue.\r
fb3df220	140	\r
	141	**/\r
	142	VOID *\r
	143	EFIAPI\r
	144	DebugClearMemory (\r
	145	OUT VOID *Buffer,\r
	146	IN UINTN Length\r
	147	);\r
	148	\r
	149	\r
	150	/**\r
	151	\r
	152	Returns TRUE if ASSERT() macros are enabled.\r
	153	\r
	154	This function returns TRUE if the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of \r
	155	PcdDebugProperyMask is set. Otherwise FALSE is returned.\r
	156	\r
	157	@retval TRUE The DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set.\r
	158	@retval FALSE The DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear.\r
	159	\r
	160	**/\r
	161	BOOLEAN\r
	162	EFIAPI\r
	163	DebugAssertEnabled (\r
	164	VOID\r
	165	);\r
	166	\r
	167	\r
	168	/**\r
	169	\r
	170	Returns TRUE if DEBUG()macros are enabled.\r
	171	\r
	172	This function returns TRUE if the DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of \r
	173	PcdDebugProperyMask is set. Otherwise FALSE is returned.\r
	174	\r
	175	@retval TRUE The DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is set.\r
	176	@retval FALSE The DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is clear.\r
	177	\r
	178	**/\r
	179	BOOLEAN\r
	180	EFIAPI\r
	181	DebugPrintEnabled (\r
	182	VOID\r
	183	);\r
	184	\r
	185	\r
	186	/**\r
	187	\r
	188	Returns TRUE if DEBUG_CODE()macros are enabled.\r
	189	\r
	190	This function returns TRUE if the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of \r
	191	PcdDebugProperyMask is set. Otherwise FALSE is returned.\r
	192	\r
	193	@retval TRUE The DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set.\r
	194	@retval FALSE The DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is clear.\r
	195	\r
	196	**/\r
	197	BOOLEAN\r
	198	EFIAPI\r
	199	DebugCodeEnabled (\r
	200	VOID\r
	201	);\r
	202	\r
	203	\r
204	/**\r
205	\r
206	Returns TRUE if DEBUG_CLEAR_MEMORY()macro is enabled.\r
207	\r
eceb3a4c	208	This function returns TRUE if the DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of \r
fb3df220	209	PcdDebugProperyMask is set. Otherwise FALSE is returned.\r
fb3df220	210	\r
eceb3a4c LG	211	@retval TRUE The DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is set.\r
eceb3a4c LG	212	@retval FALSE The DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is clear.\r
fb3df220	213	\r
	214	**/\r
	215	BOOLEAN\r
	216	EFIAPI\r
	217	DebugClearMemoryEnabled (\r
	218	VOID\r
	219	);\r
	220	\r
	221	\r
	222	/**\r
	223	\r
	224	Internal worker macro that calls DebugAssert().\r
	225	\r
	226	This macro calls DebugAssert() passing in the filename, line number, and \r
	227	expression that evailated to FALSE.\r
	228	\r
	229	@param Expression Boolean expression that evailated to FALSE\r
	230	\r
	231	**/\r
	232	#define _ASSERT(Expression) DebugAssert (__FILE__, __LINE__, #Expression)\r
	233	\r
	234	\r
	235	/**\r
	236	\r
	237	Internal worker macro that calls DebugPrint().\r
	238	\r
	239	This macro calls DebugPrint() passing in the debug error level, a format \r
	240	string, and a variable argument list.\r
	241	\r
	242	@param Expression Expression containing an error level, a format string, \r
	243	and a variable argument list based on the format string.\r
	244	\r
	245	**/\r
	246	#define _DEBUG(Expression) DebugPrint Expression\r
	247	\r
	248	\r
	249	/**\r
	250	\r
	251	Macro that calls DebugAssert() if a expression evaluates to FALSE.\r
	252	\r
	253	If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set, \r
	254	then this macro evaluates the Boolean expression specified by Expression. If \r
	255	Expression evaluates to FALSE, then DebugAssert() is called passing in the \r
	256	source filename, source line number, and Expression.\r
	257	\r
	258	@param Expression Boolean expression\r
	259	\r
	260	**/\r
	261	#define ASSERT(Expression) \\r
	262	do { \\r
	263	if (DebugAssertEnabled ()) { \\r
	264	if (!(Expression)) { \\r
	265	_ASSERT (Expression); \\r
	266	} \\r
	267	} \\r
	268	} while (FALSE)\r
	269	\r
	270	\r
	271	/**\r
	272	\r
	273	Macro that calls DebugPrint().\r
	274	\r
	275	If the DEBUG_PROPERTY_DEBUG_PRINT_ENABLED bit of PcdDebugProperyMask is set, \r
	276	then this macro passes Expression to DebugPrint().\r
277	\r
278	@param Expression Expression containing an error level, a format string, \r
279	and a variable argument list based on the format string.\r
280	\r
281	\r
282	**/\r
283	#define DEBUG(Expression) \\r
284	do { \\r
285	if (DebugPrintEnabled ()) { \\r
286	_DEBUG (Expression); \\r
287	} \\r
288	} while (FALSE)\r
289	\r
290	\r
291	/**\r
292	\r
293	Macro that calls DebugAssert() if an EFI_STATUS evaluates to an error code.\r
294	\r
295	If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set, \r
296	then this macro evaluates the EFI_STATUS value specified by StatusParameter. \r
297	If StatusParameter is an error code, then DebugAssert() is called passing in \r
298	the source filename, source line number, and StatusParameter.\r
299	\r
300	@param StatusParameter EFI_STATUS value to evaluate.\r
301	\r
302	**/\r
303	#define ASSERT_EFI_ERROR(StatusParameter) \\r
304	do { \\r
305	if (DebugAssertEnabled ()) { \\r
306	if (EFI_ERROR (StatusParameter)) { \\r
307	DEBUG ((EFI_D_ERROR, "\nASSERT_EFI_ERROR (Status = %r)\n", StatusParameter)); \\r
308	_ASSERT (!EFI_ERROR (StatusParameter)); \\r
309	} \\r
310	} \\r
311	} while (FALSE)\r
312	\r
313	\r
314	/**\r
315	\r
316	Macro that calls DebugAssert() if a protocol is already installed in the \r
317	handle database.\r
318	\r
319	If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear, \r
320	then return.\r
321	\r
322	If Handle is NULL, then a check is made to see if the protocol specified by Guid \r
323	is present on any handle in the handle database. If Handle is not NULL, then \r
324	a check is made to see if the protocol specified by Guid is present on the \r
325	handle specified by Handle. If the check finds the protocol, then DebugAssert() \r
326	is called passing in the source filename, source line number, and Guid.\r
327	\r
328	If Guid is NULL, then ASSERT().\r
329	\r
330	@param Handle The handle to check for the protocol. This is an optional \r
331	parameter that may be NULL. If it is NULL, then the entire \r
332	handle database is searched.\r
333	\r
334	@param Guid Pointer to a protocol GUID.\r
335	\r
336	**/\r
337	#define ASSERT_PROTOCOL_ALREADY_INSTALLED(Handle, Guid) \\r
338	do { \\r
339	if (DebugAssertEnabled ()) { \\r
340	VOID *Instance; \\r
341	ASSERT (Guid != NULL); \\r
342	if (Handle == NULL) { \\r
343	if (!EFI_ERROR (gBS->LocateProtocol ((EFI_GUID *)Guid, NULL, &Instance))) { \\r
344	_ASSERT (Guid already installed in database); \\r
345	} \\r
346	} else { \\r
347	if (!EFI_ERROR (gBS->HandleProtocol (Handle, (EFI_GUID *)Guid, &Instance))) { \\r
348	_ASSERT (Guid already installed on Handle); \\r
349	} \\r
350	} \\r
351	} \\r
352	} while (FALSE)\r
353	\r
354	\r
355	/**\r
356	Macro that marks the beginning of debug source code.\r
357	\r
358	If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
359	then this macro marks the beginning of source code that is included in a module.\r
360	Otherwise, the source lines between DEBUG_CODE_BEGIN() and DEBUG_CODE_END() \r
361	are not included in a module.\r
362	\r
363	**/\r
364	#define DEBUG_CODE_BEGIN() do { if (DebugCodeEnabled ()) { UINT8 __DebugCodeLocal\r
365	\r
366	\r
367	/**\r
368	\r
369	Macro that marks the end of debug source code.\r
370	\r
371	If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
372	then this macro marks the end of source code that is included in a module. \r
373	Otherwise, the source lines between DEBUG_CODE_BEGIN() and DEBUG_CODE_END() \r
374	are not included in a module.\r
375	\r
376	**/\r
377	#define DEBUG_CODE_END() __DebugCodeLocal = 0; __DebugCodeLocal++; } } while (FALSE)\r
378	\r
379	\r
380	/**\r
381	\r
382	Macro that declares a section of debug source code.\r
383	\r
384	If the DEBUG_PROPERTY_DEBUG_CODE_ENABLED bit of PcdDebugProperyMask is set, \r
385	then the source code specified by Expression is included in a module. \r
386	Otherwise, the source specified by Expression is not included in a module.\r
387	\r
388	**/\r
389	#define DEBUG_CODE(Expression) \\r
390	DEBUG_CODE_BEGIN (); \\r
391	Expression \\r
392	DEBUG_CODE_END ()\r
393	\r
394	\r
395	/**\r
396	\r
397	Macro that calls DebugClearMemory() to clear a buffer to a default value.\r
398	\r
399	If the DEBUG_PROPERTY_CLEAR_MEMORY_ENABLED bit of PcdDebugProperyMask is set, \r
400	then this macro calls DebugClearMemory() passing in Address and Length.\r
401	\r
402	@param Address Pointer to a buffer.\r
403	@param Length The number of bytes in the buffer to set.\r
404	\r
405	**/\r
406	#define DEBUG_CLEAR_MEMORY(Address, Length) \\r
407	do { \\r
408	if (DebugClearMemoryEnabled ()) { \\r
409	DebugClearMemory (Address, Length); \\r
410	} \\r
411	} while (FALSE)\r
412	\r
413	\r
414	/**\r
415	\r
416	Macro that calls DebugAssert() if the containing record does not have a \r
417	matching signature. If the signatures matches, then a pointer to the data \r
418	structure that contains a specified field of that data structure is returned. \r
419	This is a light weight method hide information by placing a public data \r
420	structure inside a larger private data structure and using a pointer to the \r
421	public data structure to retrieve a pointer to the private data structure.\r
422	\r
423	If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is clear, \r
424	then this macro computes the offset, in bytes, of field specified by Field \r
425	from the beginning of the data structure specified by TYPE. This offset is \r
426	subtracted from Record, and is used to return a pointer to a data structure \r
427	of the type specified by TYPE.\r
428	\r
429	If the DEBUG_PROPERTY_DEBUG_ASSERT_ENABLED bit of PcdDebugProperyMask is set, \r
430	then this macro computes the offset, in bytes, of field specified by Field from \r
431	the beginning of the data structure specified by TYPE. This offset is \r
432	subtracted from Record, and is used to compute a pointer to a data structure of \r
433	the type specified by TYPE. The Signature field of the data structure specified \r
434	by TYPE is compared to TestSignature. If the signatures match, then a pointer \r
435	to the pointer to a data structure of the type specified by TYPE is returned. \r
436	If the signatures do not match, then DebugAssert() is called with a description \r
437	of "CR has a bad signature" and Record is returned. \r
438	\r
439	If the data type specified by TYPE does not contain the field specified by Field, \r
440	then the module will not compile.\r
441	\r
442	If TYPE does not contain a field called Signature, then the module will not \r
443	compile.\r
444	\r
445	@param Record Pointer to the field specified by Field within a data \r
446	structure of type TYPE.\r
447	\r
448	@param TYPE The name of the data structure type to return This \r
449	data structure must contain the field specified by Field. \r
450	\r
451	@param Field The name of the field in the data structure specified \r
452	by TYPE to which Record points.\r
453	\r
454	@param TestSignature The 32-bit signature value to match.\r
455	\r
456	**/\r
457	#define CR(Record, TYPE, Field, TestSignature) \\r
458	(DebugAssertEnabled () && (_CR (Record, TYPE, Field)->Signature != TestSignature)) ? \\r
459	(TYPE *) (_ASSERT (CR has Bad Signature), Record) : \\r
460	_CR (Record, TYPE, Field)\r
461	\r
462	#endif\r