Add benchmark inputs for atan
[glibc.git] / hurd / hurd.h
blobf302e045afa765a32eb3e58c6ed733af069ee00a
1 /* Copyright (C) 1993-2013 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
4 The GNU C Library is free software; you can redistribute it and/or
5 modify it under the terms of the GNU Lesser General Public
6 License as published by the Free Software Foundation; either
7 version 2.1 of the License, or (at your option) any later version.
9 The GNU C Library is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public
15 License along with the GNU C Library; if not, see
16 <http://www.gnu.org/licenses/>. */
18 #ifndef _HURD_H
20 #define _HURD_H 1
21 #include <features.h>
24 /* Get types, macros, constants and function declarations
25 for all Mach microkernel interaction. */
26 #include <mach.h>
27 #include <mach/mig_errors.h>
29 /* Get types and constants necessary for Hurd interfaces. */
30 #include <hurd/hurd_types.h>
32 /* Get MiG stub declarations for commonly used Hurd interfaces. */
33 #include <hurd/auth.h>
34 #include <hurd/process.h>
35 #include <hurd/fs.h>
36 #include <hurd/io.h>
38 /* Get `struct hurd_port' and related definitions implementing lightweight
39 user references for ports. These are used pervasively throughout the C
40 library; this is here to avoid putting it in nearly every source file. */
41 #include <hurd/port.h>
43 #include <errno.h>
45 #ifndef _HURD_H_EXTERN_INLINE
46 #define _HURD_H_EXTERN_INLINE __extern_inline
47 #endif
49 _HURD_H_EXTERN_INLINE int
50 __hurd_fail (error_t err)
52 switch (err)
54 case EMACH_SEND_INVALID_DEST:
55 case EMIG_SERVER_DIED:
56 /* The server has disappeared! */
57 err = EIEIO;
58 break;
60 case KERN_NO_SPACE:
61 err = ENOMEM;
62 break;
64 case KERN_INVALID_ARGUMENT:
65 err = EINVAL;
66 break;
68 case 0:
69 return 0;
71 default:
72 break;
75 errno = err;
76 return -1;
79 /* Basic ports and info, initialized by startup. */
81 extern int _hurd_exec_flags; /* Flags word passed in exec_startup. */
82 extern struct hurd_port *_hurd_ports;
83 extern unsigned int _hurd_nports;
84 extern mode_t _hurd_umask;
85 extern sigset_t _hurdsig_traced;
87 /* Shorthand macro for internal library code referencing _hurd_ports (see
88 <hurd/port.h>). */
90 #define __USEPORT(which, expr) \
91 HURD_PORT_USE (&_hurd_ports[INIT_PORT_##which], (expr))
93 /* Function version of __USEPORT: calls OPERATE with a send right. */
95 extern error_t _hurd_ports_use (int which, error_t (*operate) (mach_port_t));
98 /* Base address and size of the initial stack set up by the exec server.
99 If using cthreads, this stack is deallocated in startup.
100 Not locked. */
102 extern vm_address_t _hurd_stack_base;
103 extern vm_size_t _hurd_stack_size;
105 /* Initial file descriptor table we were passed at startup. If we are
106 using a real dtable, these are turned into that and then cleared at
107 startup. If not, these are never changed after startup. Not locked. */
109 extern mach_port_t *_hurd_init_dtable;
110 extern mach_msg_type_number_t _hurd_init_dtablesize;
112 /* Current process IDs. */
114 extern pid_t _hurd_pid, _hurd_ppid, _hurd_pgrp;
115 extern int _hurd_orphaned;
117 /* This variable is incremented every time the process IDs change. */
118 extern unsigned int _hurd_pids_changed_stamp;
120 /* This condition is broadcast every time the process IDs change. */
121 extern struct condition _hurd_pids_changed_sync;
123 /* Unix `data break', for brk and sbrk.
124 If brk and sbrk are not used, this info will not be initialized or used. */
127 /* Data break. This is what `sbrk (0)' returns. */
129 extern vm_address_t _hurd_brk;
131 /* End of allocated space. This is generally `round_page (_hurd_brk)'. */
133 extern vm_address_t _hurd_data_end;
135 /* This mutex locks _hurd_brk and _hurd_data_end. */
137 extern struct mutex _hurd_brk_lock;
139 /* Set the data break to NEWBRK; _hurd_brk_lock must
140 be held, and is released on return. */
142 extern int _hurd_set_brk (vm_address_t newbrk);
144 #define __need_FILE
145 #include <stdio.h>
147 /* Calls to get and set basic ports. */
149 extern error_t _hurd_ports_get (unsigned int which, mach_port_t *result);
150 extern error_t _hurd_ports_set (unsigned int which, mach_port_t newport);
152 extern process_t getproc (void);
153 extern file_t getcwdir (void), getcrdir (void);
154 extern auth_t getauth (void);
155 extern mach_port_t getcttyid (void);
156 extern int setproc (process_t);
157 extern int setcwdir (file_t), setcrdir (file_t);
158 extern int setcttyid (mach_port_t);
160 /* Does reauth with the proc server and fd io servers. */
161 extern int __setauth (auth_t), setauth (auth_t);
164 /* Modify a port cell by looking up a directory name.
165 This verifies that it is a directory and that we have search permission. */
166 extern int _hurd_change_directory_port_from_name (struct hurd_port *portcell,
167 const char *name);
168 /* Same thing, but using an open file descriptor.
169 Also verifies that it is a directory and that we have search permission. */
170 extern int _hurd_change_directory_port_from_fd (struct hurd_port *portcell,
171 int fd);
175 /* Get and set the effective UID set. */
176 extern int geteuids (int __n, uid_t *__uidset);
177 extern int seteuids (int __n, const uid_t *__uidset);
180 /* Split FILE into a directory and a name within the directory. The
181 directory lookup uses the current root and working directory. If
182 successful, stores in *NAME a pointer into FILE where the name
183 within directory begins and returns a port to the directory;
184 otherwise sets `errno' and returns MACH_PORT_NULL. */
186 extern file_t __file_name_split (const char *file, char **name);
187 extern file_t file_name_split (const char *file, char **name);
189 /* Split DIRECTORY into a parent directory and a name within the directory.
190 This is the same as file_name_split, but ignores trailing slashes. */
192 extern file_t __directory_name_split (const char *file, char **name);
193 extern file_t directory_name_split (const char *file, char **name);
195 /* Open a port to FILE with the given FLAGS and MODE (see <fcntl.h>).
196 The file lookup uses the current root and working directory.
197 Returns a port to the file if successful; otherwise sets `errno'
198 and returns MACH_PORT_NULL. */
200 extern file_t __file_name_lookup (const char *file, int flags, mode_t mode);
201 extern file_t file_name_lookup (const char *file, int flags, mode_t mode);
203 /* Open a port to FILE with the given FLAGS and MODE (see <fcntl.h>). The
204 file lookup uses the current root directory, but uses STARTDIR as the
205 "working directory" for file relative names. Returns a port to the file
206 if successful; otherwise sets `errno' and returns MACH_PORT_NULL. */
208 extern file_t __file_name_lookup_under (file_t startdir, const char *file,
209 int flags, mode_t mode);
210 extern file_t file_name_lookup_under (file_t startdir, const char *file,
211 int flags, mode_t mode);
214 /* Lookup FILE_NAME and return the node opened with FLAGS & MODE
215 (see hurd_file_name_lookup for details), but a simple file name (without
216 any directory prefixes) will be consecutively prefixed with the pathnames
217 in the `:' separated list PATH until one succeeds in a successful lookup.
218 If none succeed, then the first error that wasn't ENOENT is returned, or
219 ENOENT if no other errors were returned. If PREFIXED_NAME is non-NULL,
220 then if the result is looked up directly, *PREFIXED_NAME is set to NULL, and
221 if it is looked up using a prefix from PATH, *PREFIXED_NAME is set to
222 malloc'd storage containing the prefixed name. */
223 extern file_t file_name_path_lookup (const char *file_name, const char *path,
224 int flags, mode_t mode,
225 char **prefixed_name);
229 /* Open a file descriptor on a port. FLAGS are as for `open'; flags
230 affected by io_set_openmodes are not changed by this. If successful,
231 this consumes a user reference for PORT (which will be deallocated on
232 close). */
234 extern int openport (io_t port, int flags);
236 /* Open a stream on a port. MODE is as for `fopen'.
237 If successful, this consumes a user reference for PORT
238 (which will be deallocated on fclose). */
240 extern FILE *fopenport (io_t port, const char *mode);
241 extern FILE *__fopenport (io_t port, const char *mode);
244 /* Execute a file, replacing TASK's current program image. */
246 extern error_t _hurd_exec (task_t task,
247 file_t file,
248 char *const argv[],
249 char *const envp[]);
252 /* Inform the proc server we have exited with STATUS, and kill the
253 task thoroughly. This function never returns, no matter what. */
255 extern void _hurd_exit (int status) __attribute__ ((noreturn));
258 /* Initialize the library data structures from the
259 ints and ports passed to us by the exec server.
260 Then vm_deallocate PORTARRAY and INTARRAY. */
262 extern void _hurd_init (int flags, char **argv,
263 mach_port_t *portarray, size_t portarraysize,
264 int *intarray, size_t intarraysize);
266 /* Do startup handshaking with the proc server, and initialize library data
267 structures that require proc server interaction. This includes
268 initializing signals; see _hurdsig_init in <hurd/signal.h>. */
270 extern void _hurd_proc_init (char **argv,
271 const int *intarray, size_t intarraysize);
274 /* Return the socket server for sockaddr domain DOMAIN. If DEAD is
275 nonzero, remove the old cached port and always do a fresh lookup.
277 It is assumed that a socket server will stay alive during a complex socket
278 operation involving several RPCs. But a socket server may die during
279 long idle periods between socket operations. Callers should first pass
280 zero for DEAD; if the first socket RPC tried on the returned port fails
281 with MACH_SEND_INVALID_DEST or MIG_SERVER_DIED (indicating the server
282 went away), the caller should call _hurd_socket_server again with DEAD
283 nonzero and retry the RPC on the new socket server port. */
285 extern socket_t _hurd_socket_server (int domain, int dead);
287 /* Send a `sig_post' RPC to process number PID. If PID is zero,
288 send the message to all processes in the current process's process group.
289 If PID is < -1, send SIG to all processes in process group - PID.
290 SIG and REFPORT are passed along in the request message. */
292 extern error_t _hurd_sig_post (pid_t pid, int sig, mach_port_t refport);
293 extern error_t hurd_sig_post (pid_t pid, int sig, mach_port_t refport);
295 /* Fetch the host privileged port and device master port from the proc
296 server. They are fetched only once and then cached in the
297 variables below. A special program that gets them from somewhere
298 other than the proc server (such as a bootstrap filesystem) can set
299 these variables to install the ports. */
301 extern kern_return_t __get_privileged_ports (mach_port_t *host_priv_ptr,
302 device_t *device_master_ptr);
303 extern kern_return_t get_privileged_ports (mach_port_t *host_priv_ptr,
304 device_t *device_master_ptr);
305 extern mach_port_t _hurd_host_priv, _hurd_device_master;
307 /* Return the PID of the task whose control port is TASK.
308 On error, sets `errno' and returns -1. */
310 extern pid_t __task2pid (task_t task), task2pid (task_t task);
312 /* Return the task control port of process PID.
313 On error, sets `errno' and returns MACH_PORT_NULL. */
315 extern task_t __pid2task (pid_t pid), pid2task (pid_t pid);
317 /* Return the current thread's thread port. This is a cheap operation (no
318 system call), but it relies on Hurd signal state being set up. */
319 extern thread_t hurd_thread_self (void);
322 /* Cancel pending operations on THREAD. If it is doing an interruptible RPC,
323 that RPC will now return EINTR; otherwise, the "cancelled" flag will be
324 set, causing the next `hurd_check_cancel' call to return nonzero or the
325 next interruptible RPC to return EINTR (whichever is called first). */
326 extern error_t hurd_thread_cancel (thread_t thread);
328 /* Test and clear the calling thread's "cancelled" flag. */
329 extern int hurd_check_cancel (void);
332 /* Return the io server port for file descriptor FD.
333 This adds a Mach user reference to the returned port.
334 On error, sets `errno' and returns MACH_PORT_NULL. */
336 extern io_t __getdport (int fd), getdport (int fd);
339 #include <stdarg.h>
341 /* Write formatted output to PORT, a Mach port supporting the i/o protocol,
342 according to the format string FORMAT, using the argument list in ARG. */
343 int vpprintf (io_t port, const char *format, va_list arg);
346 #endif /* hurd.h */