1 /* Copyright (C) 1992-2022 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
3
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.
8
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.
13
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 <https://www.gnu.org/licenses/>. */
17
18 #include <errno.h>
19 #include <unistd.h>
20 #include <hurd.h>
21 #include <hurd/paths.h>
22 #include <hurd/startup.h>
23 #include <sys/reboot.h>
24
25 /* Reboot the system. */
26 int
reboot(int howto)27 reboot (int howto)
28 {
29 error_t err;
30 startup_t init;
31 mach_port_t hostpriv;
32
33 err = __get_privileged_ports (&hostpriv, NULL);
34 if (err)
35 return __hurd_fail (EPERM);
36
37 init = __file_name_lookup (_SERVERS_STARTUP, 0, 0);
38 if (init != MACH_PORT_NULL)
39 {
40 err = __startup_reboot (init, hostpriv, howto);
41 __mach_port_deallocate (__mach_task_self (), init);
42 }
43
44 __mach_port_deallocate (__mach_task_self (), hostpriv);
45
46 if (err)
47 return __hurd_fail (err);
48
49 return 0;
50 }
51