2 #include_next <sys/sysinfo.h>
4 /* Now we define the internal interface. */
6 /* Return number of configured processors. */
7 extern int __get_nprocs_conf (void);
9 /* Return number of available processors. */
10 extern int __get_nprocs (void);
12 /* Return number of physical pages of memory in the system. */
13 extern long int __get_phys_pages (void);
15 /* Return number of available physical pages of memory in the system. */
16 extern long int __get_avphys_pages (void);
18 /* Return maximum number of processes this real user ID can have. */
19 extern long int __get_child_max (void);
21 #endif /* sys/sysinfo.h */