/*++

Copyright (c) 1998-2001 Klaus P. Gerlicher

Module Name:

    output.h

Abstract:

    HEADER for output.c

Environment:

    LINUX 2.2.X
    Kernel mode only

Author:

    Klaus P. Gerlicher

Revision History:

    15-Nov-2000:    general cleanup of source files

Copyright notice:

  This file may be distributed under the terms of the GNU Public License.

--*/
void InstallPrintkHook(void);
void DeInstallPrintkHook(void);

//extern ULONG ulPrintk;

extern ULONG (*ulPrintk) (PANSI_STRING String);

extern BOOLEAN bInPrintk;
extern BOOLEAN bIsDebugPrint;

void InitPiceRunningTimer(void);
void RemovePiceRunningTimer(void);