/*
*********************************************************************************************************
*                                                AR100 System
*                                     AR100 Software System Develop Kits
*                                               Debugger Module
*
*                                    (c) Copyright 2012-2016, Sunny China
*                                             All Rights Reserved
*
* File    : debugger_i.h
* By      : Sunny
* Version : v1.0
* Date    : 2012-5-3
* Descript: debugger internal header.
* Update  : date                auther      ver     notes
*           2012-5-3 17:15:39   Sunny       1.0     Create this file.
*********************************************************************************************************
*/
#ifndef __DEBUGGER_I_H__
#define __DEBUGGER_I_H__

#include "include.h"

#ifdef CFG_DEBUGGER_PRINTF
static s32 print_align(char *string, s32 len, s32 align);
static s32 print_current_time(void);
#endif


#endif /* __DEBUGGER_I_H__ */