Federico Giannici wrote:
As you can see, there aren't 400MB of files in the "/tmp" partition! Is this a bug or a known problem of the "mfs" driver? Thanks.
Try to use fstat to find any descriptors to files in /tmp, the method of keeping a filedescriptor on a deleted file is common which will reflect on your filesystem but not the files in it.
-p