nfs_trueform
tuint = nfs_trueform(vp);
static uint32_t nfs_trueform(struct vnode *);
*tl = txdr_unsigned(nfs_trueform(vp));