Look in /usr/lib/llib-lc to see what lint thinks ioctl looks like on your particular system. On my system the first two parameters are type int and VARARGS2 is specified. I never get complaints about ioctl from lint.