/* Copyright (C) 1993, 1994 Free Software Foundation, Inc.
This file is part of the GNU C Library.

The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Library General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.

The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Library General Public License for more details.

You should have received a copy of the GNU Library General Public
License along with the GNU C Library; see the file COPYING.LIB.  If
not, write to the Free Software Foundation, Inc., 675 Mass Ave,
Cambridge, MA 02139, USA.  */

#include <hurd.h>

/* The program might set these if it is the initial task
   bootstrapped by the microkernel.  */

mach_port_t _hurd_host_priv, _hurd_device_master;


kern_return_t
get_privileged_ports (host_priv_t *host_priv_ptr, device_t *device_master_ptr)
{
  if (! _hurd_host_priv)
    {
      error_t err;

      if (_hurd_ports)
	/* We have gotten some initial ports, so perhaps
	   we have a proc server to talk to.  */
	err = __USEPORT (PROC, __proc_getprivports (port,
						    &_hurd_host_priv,
						    &_hurd_device_master));
      else
	return MACH_SEND_INVALID_DEST;

      if (err)
	return err;
    }

  if (host_priv_ptr)
    {
      mach_port_mod_refs (mach_task_self (),
			  _hurd_host_priv, MACH_PORT_RIGHT_SEND, 1);
      *host_priv_ptr = _hurd_host_priv;
    }
  if (device_master_ptr)
    {
      mach_port_mod_refs (mach_task_self (),
			  _hurd_device_master, MACH_PORT_RIGHT_SEND, 1);
      *device_master_ptr = _hurd_device_master;
    }
  return KERN_SUCCESS;
}
