gpio 소스중에서 test.c 에서

write(dev, buff, 1); // LED로 출력한다.

은 gpio.c의 gpio_wirte함수를 호출하는 것으로 알고 있습니다.
gpio_write 함수의 인자가 4개인데 write(dev, buff, 1)로 인자가 3개 주어지
는것이 서로 맞지 안는게 아닌지요?
그리고, gpio_write 함수에서 get_user(data, gpiodata)함수는 어디에 위치하
는지요?