> Ted brought up an interesting point: how does "find -xdev" work on the > Hurd? I checked findutils-4.1.7-2 sources and it seems to rely on > st_dev containing meaningful data, but nevertheless works as expected > when I tested it. I'm a bit mystified.
You were just talking about device numbers on device files, which is st_rdev. I hope you are not confusing st_dev and st_rdev. POSIX.1 specifies that the pair of st_dev and st_ino uniquely identifies a file (as long as the file still exists). On the Hurd, st_dev is also called st_fsid. By convention, filesystem servers use their PID as the st_fsid value for all their files.

