/*
 *  Copyright 2002 by Spectrum Digital Incorporated.
 *  All rights reserved. Property of Spectrum Digital Incorporated.
 */

/*
 *  ======== dsk6713.h ========
 *
 *  This files contains DSK6713 board specific I/O registers
 *  define for the CPLD.
 */

#ifndef DSK6713_
#define DSK6713_

#ifdef __cplusplus
extern "C" {
#endif

#include <csl.h>

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

/* Compatability definitions */
#define NULL                 0

/* CPLD address definitions */
#define DSK6713_CPLD_BASE    0x90080000

/* CPLD Register Indices */
#define DSK6713_USER_REG     0
#define DSK6713_DC_REG       1
#define DSK6713_VERSION      4
#define DSK6713_MISC         6

/* CPLD Register Bits */
#define DC_DET               0x80
#define DC_STAT1             0x20
#define DC_STAT0             0x10
#define DC_CNTL1             0x02
#define DC_CNTL0             0x01

#define TIN1SEL              0x08
#define TIN0SEL              0x04
#define MCBSP2SEL            0x02
#define MCBSP1SEL            0x01

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

/* Read an 8-bit value from a CPLD register */
Uint8 DSK6713_rget(Int16 regnum);

/* Write an 8-bit value to a CPLD register */
void DSK6713_rset(Int16 regnum, Uint8 regval);

#ifdef __cplusplus
}
#endif

#endif