请问3518的sdk的gpio驱动在哪个目录下

int SetGpio(int group,int pin,int value)
{
        int ret,fd;
        gpio_groupbit_info gpio_set;
        fd = open("/dev/gpio",O_WRONLY);
        if(fd<0)
        {
                printf("open /dev/gpio fail\n");
                return 0;
        }
       
        gpio_set.groupnumber = group;   
        gpio_set.bitnumber = pin;   
        gpio_set.value = value;  
        ret = ioctl(fd, GPIO_WRITE_BIT, &gpio_set);        
        if(ret<0)
        {               
                printf("Set Gpio Value Fail\n");
                close(fd);
                return 0;                       
        }
        close(fd);
        return 1;
}

这是应用层的函数，里面调用了ret = ioctl(fd, GPIO_WRITE_BIT, &gpio_set); 想知道这个函数对应的驱动程序是哪个文件呢？？