/********************************************************************************\
\*DEC6713.H	  	v1.00	     							                            *
* Copyright	2006 by SSD Electronic Technology Ltd.
* All rights reserved. Property of SSD Electronic Technology Ltd.			                *
* Designed by:	W.Z.H								                                *
\********************************************************************************/
#ifndef DEC6713_
#define DEC6713_

#include <csl.h>

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

/* CPLD Register Indices */
#define DEC6713_LED_REG    	 	0
#define DEC6713_OUTP_REG		1
#define DEC6713_CTR_REG			2
#define DEC6713_INP_REG			3
#define	DEC6713_KEY_REG			4
#define	DEC6713_EINT_REG		5
#define DEC6713_USB_ADR_REG		6
#define	DEC6713_USB_DAT_REG		7

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

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

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

/* Spin in a delay loop for delay iterations */
void DEC6713_wait(Uint32 delay);

#endif