On Sun Feb 18 2007 at 02:00:42 +0100, Nicolas Joly wrote:
> I noticed a problem with linux mounts, some linux specific files can
> be seen with readdir(2)/getdents(2), but not accessed directly with
> access(2)/stat(2) :
> 
> [snip]
>
> njoly@cixy [linux/proc]> ls cpuinfo
> ls: cpuinfo: No such file or directory
> njoly@cixy [linux/proc]> ls -l >/dev/null
> ls: cpuinfo: No such file or directory
> ls: devices: No such file or directory
> ls: meminfo: No such file or directory
> ls: mounts: No such file or directory
> ls: uptime: No such file or directory

Ah, right, I forgot to test the top level with -o linux.  Can you test
again with procfs_vnops.c:1.150.  I think I got it right this time ;)

-- 
Antti Kantee <pooka@iki.fi>                     Of course he runs NetBSD
http://www.iki.fi/pooka/                          http://www.NetBSD.org/
    "la qualité la plus indispensable du cuisinier est l'exactitude"