The wrong bit field is being passed to NFSCTL_TCPISSET()