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