/*
 *  Copyright 2001 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.60.08 12-12-01 (bios,dsk5416-a00)" */
/*
 *  ======== dsk5416.h ========
 *
 *  This files contains DSK5416 board specific I/O registers
 *  define for the CPLD.
 */

#ifndef DSK5416_
#define DSK5416_

#ifdef __cplusplus
extern "C" {
#endif

/*
 *  Note:  Bit definitions for each register field
 *         needs to be supplied here for the CPLD
 *	   and other board periperals.
 */

/* Board specific I/O registers */
ioport unsigned          port0;
ioport unsigned          port1;
ioport unsigned          port2;
ioport unsigned          port3;
ioport unsigned          port4;
ioport unsigned          port5;
ioport unsigned          port6;
ioport unsigned          port7;

/* Define easier to read names for I/O registers */
#define DSK5416_USER_REG         port0
#define DSK5416_DC_REG           port1
#define DSK5416_PCM3002_L        port2
#define DSK5416_PCM3002_H        port3
#define DSK5416_VERSION          port4
#define DSK5416_DM_CNTL          port5
#define DSK5416_MISC             port6
#define DSK5416_CODEC_CLK        port7

/* Initialize all board APIs */
void DSK5416_init();

#ifdef __cplusplus
}
#endif

#endif