> It may be that the coda kernel code is not 64-bit clean.  You might go
> through it and see if there any uses of types like int/short/long in
> interfaces; really there should be none and they all should be
> u_int32_t etc.  I'd argue that the user/kernel interfaces should be
> defined in terms of fixed-width types rather than floating; this seems
> the only sane path since most of them are quantities passed over the
> wire as well (fid, etc.).  Since a 32-bit venus will expect int and
> long to be 32 bits, it will be out of sync with a 64-bit kernel.
Well, I might be completely wrong, but this little bit from
$KERNEL_SRC/include/linux/coda.h has a "int" in it:

 409 /* coda_ioctl: */
 410 struct coda_ioctl_in {
 411     struct coda_in_hdr ih;
 412     struct CodaFid VFid;
 413     int cmd;
 414     int len;
 415     int rwflag;
 416     char *data;     /* Place holder for data. */
 417 };

Could anyone instruct me, how to do the cleanup - or is anyone capable of
doing it?

Thanks,
Michael