/* * This is used in dumping the kernel table via sysctl(). */