1  /* Copyright (C) 1992-2023 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
      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  }