fa3_fsid
fp->fa3_fsid.nfsuquad[0] = 0;
fp->fa3_fsid.nfsuquad[1] = txdr_unsigned(vap->va_fsid);
print_int64((u_int32_t *)&fap->fa3_fsid, HEX);