1 /* $FreeBSD$ */
2 #ifndef _EFI_DEBUG_H
3 #define _EFI_DEBUG_H
4 
5 /*++
6 
7 Copyright (c)  1999 - 2002 Intel Corporation. All rights reserved
8 This software and associated documentation (if any) is furnished
9 under a license and may only be used or copied in accordance
10 with the terms of the license. Except as permitted by such
11 license, no part of this software or documentation may be
12 reproduced, stored in a retrieval system, or transmitted in any
13 form or by any means without the express written consent of
14 Intel Corporation.
15 
16 Module Name:
17 
18     efidebug.h
19 
20 Abstract:
21 
22     EFI library debug functions
23 
24 
25 
26 Revision History
27 
28 --*/
29 
30 extern UINTN     EFIDebug;
31 
32 #if EFI_DEBUG
33 
34     #define DBGASSERT(a)        DbgAssert(__FILE__, __LINE__, #a)
35     #define DEBUG(a)            DbgPrint a
36 
37 #else
38 
39     #define DBGASSERT(a)
40     #define DEBUG(a)
41 
42 #endif
43 
44 #if EFI_DEBUG_CLEAR_MEMORY
45 
46     #define DBGSETMEM(a,l)      SetMem(a,l,(CHAR8)BAD_POINTER)
47 
48 #else
49 
50     #define DBGSETMEM(a,l)
51 
52 #endif
53 
54 #define D_INIT        0x00000001          // Initialization style messages
55 #define D_WARN        0x00000002          // Warnings
56 #define D_LOAD        0x00000004          // Load events
57 #define D_FS          0x00000008          // EFI File system
58 #define D_POOL        0x00000010          // Alloc & Free's
59 #define D_PAGE        0x00000020          // Alloc & Free's
60 #define D_INFO        0x00000040          // Verbose
61 #define D_VARIABLE    0x00000100          // Variable
62 #define D_VAR         0x00000100          // Variable
63 #define D_BM          0x00000400          // Boot Manager
64 #define D_BLKIO       0x00001000          // BlkIo Driver
65 #define D_BLKIO_ULTRA 0x00002000          // BlkIo Driver
66 #define D_NET         0x00004000          // SNI Driver
67 #define D_NET_ULTRA   0x00008000          // SNI Driver
68 #define D_UNDI        0x00010000          // UNDI Driver
69 #define D_LOADFILE    0x00020000          // UNDI Driver
70 #define D_EVENT       0x00080000          // Event messages
71 
72 #define D_ERROR       0x80000000          // Error
73 
74 #define D_RESERVED    0x7ff40A80          // Bits not reserved above
75 
76 //
77 // Current Debug level of the system, value of EFIDebug
78 //
79 //#define EFI_DBUG_MASK   (D_ERROR | D_WARN | D_LOAD | D_BLKIO | D_INIT)
80 #define EFI_DBUG_MASK   (D_ERROR)
81 
82 //
83 //
84 //
85 
86 #if EFI_DEBUG
87 
88     #define ASSERT(a)               if(!(a))       DBGASSERT(a)
89     #define ASSERT_LOCKED(l)        if(!(l)->Lock) DBGASSERT(l not locked)
90     #define ASSERT_STRUCT(p,t)      DBGASSERT(t not structure), p
91 
92 #else
93 
94     #define ASSERT(a)
95     #define ASSERT_LOCKED(l)
96     #define ASSERT_STRUCT(p,t)
97 
98 #endif
99 
100 //
101 // Prototypes
102 //
103 
104 INTN
105 DbgAssert (
106     CHAR8   *file,
107     INTN    lineno,
108     CHAR8   *string
109     );
110 
111 INTN
112 DbgPrint (
113     INTN    mask,
114     CHAR8   *format,
115     ...
116     );
117 
118 #endif
119