Ensuring 32 bit parameters to ioctl() also on 64 bit architectures.