freebsd-dev/sys/boot/efi/include/efidebug.h
Marcel Moolenaar 06cb726431 An almost mechanical sweep to replace C++ style comments with C
style comments. This is not an attempt to conform to style(9).
Such has lower priority.
2002-05-19 03:17:22 +00:00

106 lines
2.3 KiB
C

/* $FreeBSD$ */
#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)
#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