Looking at the header files, it is clear what is meant is in fact "sys/sysctl.h" and not "sysctl.h". The attached patch to sysinfo.texi changes the documentation to reflect this. Daniel
Attachment: sysctl.patch Description: Binary data