/*
 *  Copyright 2003 by Spectrum Digital Incorporated.
 *  All rights reserved. Property of Spectrum Digital Incorporated.
 */
 
/*
 *  ======== evmdm642_led.h ========
 *
 *  Interface for LEDs on the EVMDM642 board
 */
#ifndef EVMDM642_LED_
#define EVMDM642_LED_

#ifdef __cplusplus
extern "C" {
#endif

#include <csl.h>

/* Initialize the LEDs */
void EVMDM642_LED_init();

/* Turn the LED numbered ledNum off */
void EVMDM642_LED_off(Uint32 ledNum);

/* Turn the LED numbered ledNum on */
void EVMDM642_LED_on(Uint32 ledNum);

/* Toggle the LED numbered ledNum */
void EVMDM642_LED_toggle(Uint32 ledNum);

void EVMDM642_GPIO_init();

#ifdef __cplusplus
}
#endif

#endif