/*
 *  Copyright 2003 by Texas Instruments Incorporated.
 *  All rights reserved. Property of Texas Instruments Incorporated.
 *  Restricted rights to use, duplicate or disclose this code are
 *  granted through contract.
 *  
 */
/* "@(#) DSP/BIOS 4.90.280 06-24-03 (barracuda-m11)" */
/*   Do *not* directly modify this file.  It was    */
/*   generated by the Configuration Tool; any  */
/*   changes risk being overwritten.                */

/* INPUT bigTime_dsk2812.cdb */

/*  Include Header Files  */
#include <std.h>
#include <prd.h>
#include <hst.h>
#include <swi.h>
#include <tsk.h>
#include <log.h>
#include <sem.h>
#include <sts.h>

#ifdef __cplusplus
extern "C" {
#endif

extern PRD_Obj prdClock0;
extern PRD_Obj prdClock1;
extern HST_Obj RTA_fromHost;
extern HST_Obj RTA_toHost;
extern SWI_Obj PRD_swi;
extern SWI_Obj KNL_swi;
extern TSK_Obj TSK_idle;
extern TSK_Obj task0;
extern TSK_Obj task1;
extern LOG_Obj LOG_system;
extern LOG_Obj trace;
extern LOG_Obj idlLog0;
extern LOG_Obj prdLog0;
extern LOG_Obj prdLog1;
extern LOG_Obj tskLog0;
extern LOG_Obj tskLog1;
extern SEM_Obj sem0;
extern SEM_Obj sem1;
extern STS_Obj IDL_busyObj;
extern void CSL_cfgInit();

#ifdef __cplusplus
}
#endif /* extern "C" */