/* Similarly, pointer to compat_ifioctl() if it is present */