MdePkg/Include/Library/DebugLib.h

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