33 |
__extern int execle(const char *, const char *, ...); |
__extern int execle(const char *, const char *, ...); |
34 |
__extern int execlpe(const char *, const char *, ...); |
__extern int execlpe(const char *, const char *, ...); |
35 |
|
|
36 |
|
__extern int nice(int); |
37 |
__extern int setuid(uid_t); |
__extern int setuid(uid_t); |
38 |
__extern uid_t getuid(void); |
__extern uid_t getuid(void); |
39 |
__extern int seteuid(uid_t); |
__extern int seteuid(uid_t); |
141 |
|
|
142 |
__extern int isatty(int); |
__extern int isatty(int); |
143 |
|
|
144 |
|
__extern unsigned int __page_size; |
145 |
static __inline__ int getpagesize(void) |
static __inline__ int getpagesize(void) |
146 |
{ |
{ |
|
extern unsigned int __page_size; |
|
147 |
return __page_size; |
return __page_size; |
148 |
} |
} |
149 |
|
|
150 |
|
__extern unsigned int __page_shift; |
151 |
static __inline__ int __getpageshift(void) |
static __inline__ int __getpageshift(void) |
152 |
{ |
{ |
|
extern unsigned int __page_shift; |
|
153 |
return __page_shift; |
return __page_shift; |
154 |
} |
} |
155 |
|
|