ret = setGPIOValue(ledPin, GPIO_HIGH);
//GPIO.c
EXPORT int setGPIOValue(int pin, int value)
{
clearLastError();
int gpio = pintoGPIO(pin);
GPIO_FILENAME_DEFINE(gpio, "value")
return writeIntValueToFile(fileName, value);
}