2 * $FreeBSD: src/sys/boot/efi/include/efidebug.h,v 1.2 2002/05/19 03:17:20 marcel Exp $
3 * $DragonFly: src/sys/boot/efi/include/efidebug.h,v 1.1 2003/11/10 06:08:32 dillon Exp $
10 Copyright (c) 1998 Intel Corporation
18 EFI library debug functions
26 extern UINTN EFIDebug;
30 #define DBGASSERT(a) DbgAssert(__FILE__, __LINE__, #a)
31 #define DEBUG(a) DbgPrint a
40 #if EFI_DEBUG_CLEAR_MEMORY
42 #define DBGSETMEM(a,l) SetMem(a,l,(CHAR8)BAD_POINTER)
46 #define DBGSETMEM(a,l)
50 #define D_INIT 0x00000001 /* Initialization style messages */
51 #define D_WARN 0x00000002 /* Warnings */
52 #define D_LOAD 0x00000004 /* Load events */
53 #define D_FS 0x00000008 /* EFI File system */
54 #define D_POOL 0x00000010 /* Alloc & Free's */
55 #define D_PAGE 0x00000020 /* Alloc & Free's */
56 #define D_INFO 0x00000040 /* Verbose */
57 #define D_VAR 0x00000100 /* Variable */
58 #define D_PARSE 0x00000200 /* Command parsing */
59 #define D_BM 0x00000400 /* Boot manager */
60 #define D_BLKIO 0x00001000 /* BlkIo Driver */
61 #define D_BLKIO_ULTRA 0x00002000 /* BlkIo Driver */
62 #define D_NET 0x00004000 /* SNI Driver */
63 #define D_NET_ULTRA 0x00008000 /* SNI Driver */
64 #define D_TXTIN 0x00010000 /* Simple Input Driver */
65 #define D_TXTOUT 0x00020000 /* Simple Text Output Driver */
66 #define D_ERROR_ATA 0x00040000 /* ATA error messages */
67 #define D_ERROR 0x80000000 /* Error */
69 #define D_RESERVED 0x7fffC880 /* Bits not reserved above */
72 * Current Debug level of the system, value of EFIDebug
74 #define EFI_DBUG_MASK (D_ERROR)
78 #define ASSERT(a) if(!(a)) DBGASSERT(a)
79 #define ASSERT_LOCKED(l) if(!(l)->Lock) DBGASSERT(l not locked)
80 #define ASSERT_STRUCT(p,t) DBGASSERT(t not structure), p
85 #define ASSERT_LOCKED(l)
86 #define ASSERT_STRUCT(p,t)