> The main problem is that `struct statfs'
> have different sizes between compat linux and linux32
Oops?! But my patch pretended to work. As I read, the structure is  
declared as

struct linux_statfs {
	u_int32_t	l_ftype;
	u_int32_t	l_fbsize;
	u_int32_t	l_fblocks;
	u_int32_t	l_fbfree;
	u_int32_t	l_fbavail;
	u_int32_t	l_ffiles;
	u_int32_t	l_fffree;
	linux_fsid_t	l_ffsid;
	u_int32_t	l_fnamelen;
	u_int32_t	l_ffrsize;
	u_int32_t	l_fspare[5];
};

I must be missing something. Which field width differs
between 32 bit Linux and 64 bit Linux?