/*******************************************************************************
Copyright (C) Marvell International Ltd. and its affiliates

This software file (the "File") is owned and distributed by Marvell
International Ltd. and/or its affiliates ("Marvell") under the following
alternative licensing terms.  Once you have made an election to distribute the
File under one of the following license alternatives, please (i) delete this
introductory statement regarding license alternatives, (ii) delete the two
license alternatives that you have not elected to use and (iii) preserve the
Marvell copyright notice above.


********************************************************************************
Marvell GPL License Option

If you received this File from Marvell, you may opt to use, redistribute and/or
modify this File in accordance with the terms and conditions of the General
Public License Version 2, June 1991 (the "GPL License"), a copy of which is
available along with the File in the license.txt file or by writing to the Free
Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 or
on the worldwide web at http://www.gnu.org/licenses/gpl.txt.

THE FILE IS DISTRIBUTED AS-IS, WITHOUT WARRANTY OF ANY KIND, AND THE IMPLIED
WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE ARE EXPRESSLY
DISCLAIMED.  The GPL License provides additional details about this warranty
disclaimer.
*******************************************************************************/
#ifndef _MV_DBG_TRCE_H_
#define _MV_DBG_TRCE_H_

#ifdef CONFIG_MV_DBG_TRACE

int  TRC_INIT(void);
void TRC_REC(char *fmt, ...);
void TRC_OUTPUT(int cpu_mask, int time_mode);
void TRC_RELEASE(void);
void TRC_START(void);
void TRC_STOP(void);
void TRC_MODE(int mode);

#else

#define TRC_INIT(mode)
#define TRC_REC(X...)
#define TRC_OUTPUT(cpu_mask, time_mode)
#define TRC_RELEASE()
#define TRC_START()
#define TRC_STOP()
#define TRC_MODE(mode)

#endif /* CONFIG_MV_DBG_TRACE */

#endif /* _MV_DBG_TRCE_H_ */