#include <csl.h>
#include <csl_gpio.h>


void GPIO_control(void)
{


 CSL_init();
 
GPIO_pinEnable (GPIO_PIN3);

GPIO_pinDirection (GPIO_PIN3, GPIO_OUTPUT);


GPIO_pinWrite (GPIO_PIN3, 0);  /* sets io pin1 to "1" */

}