0,0 → 1,110 |
#ifndef _EFI_DEBUG_H |
#define _EFI_DEBUG_H |
|
/*++ |
|
Copyright (c) 1998 Intel Corporation |
|
Module Name: |
|
efidebug.h |
|
Abstract: |
|
EFI library debug functions |
|
|
|
Revision History |
|
--*/ |
|
extern UINTN EFIDebug; |
|
#if EFI_DEBUG |
|
#define DBGASSERT(a) DbgAssert(__FILE__, __LINE__, #a) |
#define DEBUG(a) DbgPrint a |
|
#else |
|
#define DBGASSERT(a) |
#define DEBUG(a) |
|
#endif |
|
#if EFI_DEBUG_CLEAR_MEMORY |
|
#define DBGSETMEM(a,l) SetMem(a,l,(CHAR8)BAD_POINTER) |
|
#else |
|
#define DBGSETMEM(a,l) |
|
#endif |
|
#define D_INIT 0x00000001 // Initialization style messages |
#define D_WARN 0x00000002 // Warnings |
#define D_LOAD 0x00000004 // Load events |
#define D_FS 0x00000008 // EFI File system |
#define D_POOL 0x00000010 // Alloc & Free's |
#define D_PAGE 0x00000020 // Alloc & Free's |
#define D_INFO 0x00000040 // Verbose |
#define D_VAR 0x00000100 // Variable |
#define D_PARSE 0x00000200 // Command parsing |
#define D_BM 0x00000400 // Boot manager |
#define D_BLKIO 0x00001000 // BlkIo Driver |
#define D_BLKIO_ULTRA 0x00002000 // BlkIo Driver |
#define D_NET 0x00004000 // SNI Driver |
#define D_NET_ULTRA 0x00008000 // SNI Driver |
#define D_TXTIN 0x00010000 // Simple Input Driver |
#define D_TXTOUT 0x00020000 // Simple Text Output Driver |
#define D_ERROR_ATA 0x00040000 // ATA error messages |
#define D_ERROR 0x80000000 // Error |
|
#define D_RESERVED 0x7fffC880 // Bits not reserved above |
|
// |
// Current Debug level of the system, value of EFIDebug |
// |
//#define EFI_DBUG_MASK (D_ERROR | D_WARN | D_LOAD | D_BLKIO | D_INIT) |
#define EFI_DBUG_MASK (D_ERROR) |
|
// |
// |
// |
|
#if EFI_DEBUG |
|
#define ASSERT(a) if(!(a)) DBGASSERT(a) |
#define ASSERT_LOCKED(l) if(!(l)->Lock) DBGASSERT(l not locked) |
#define ASSERT_STRUCT(p,t) DBGASSERT(t not structure), p |
|
#else |
|
#define ASSERT(a) |
#define ASSERT_LOCKED(l) |
#define ASSERT_STRUCT(p,t) |
|
#endif |
|
// |
// Prototypes |
// |
|
INTN |
DbgAssert ( |
CHAR8 *file, |
INTN lineno, |
CHAR8 *string |
); |
|
INTN |
DbgPrint ( |
INTN mask, |
CHAR8 *format, |
... |
); |
|
#endif |
|