Blame hurd/ports-get.c

Packit Service 82fcde
/* Copyright (C) 1994-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include <hurd.h>
Packit Service 82fcde
Packit Service 82fcde
static error_t
Packit Service 82fcde
getbootstrap (mach_port_t *result)
Packit Service 82fcde
{
Packit Service 82fcde
  return __task_get_special_port (__mach_task_self (),
Packit Service 82fcde
				  TASK_BOOTSTRAP_PORT,
Packit Service 82fcde
				  result);
Packit Service 82fcde
}
Packit Service 82fcde
Packit Service 82fcde
error_t (*_hurd_ports_getters[INIT_PORT_MAX]) (mach_port_t *result) =
Packit Service 82fcde
  {
Packit Service 82fcde
    [INIT_PORT_BOOTSTRAP] = getbootstrap,
Packit Service 82fcde
  };
Packit Service 82fcde
Packit Service 82fcde
error_t
Packit Service 82fcde
_hurd_ports_get (unsigned int which, mach_port_t *result)
Packit Service 82fcde
{
Packit Service 82fcde
  if (which >= _hurd_nports)
Packit Service 82fcde
    return EINVAL;
Packit Service 82fcde
  if (which >= INIT_PORT_MAX || _hurd_ports_getters[which] == NULL)
Packit Service 82fcde
    return HURD_PORT_USE (&_hurd_ports[which],
Packit Service 82fcde
			  (*result = port) == MACH_PORT_NULL ? 0
Packit Service 82fcde
			  : __mach_port_mod_refs (__mach_task_self (),
Packit Service 82fcde
						  port, MACH_PORT_RIGHT_SEND,
Packit Service 82fcde
						  +1));
Packit Service 82fcde
  return (*_hurd_ports_getters[which]) (result);
Packit Service 82fcde
}