Blame sysdeps/unix/sysv/linux/shmdt.c

Packit Service 82fcde
/* Copyright (C) 1995-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
   Contributed by Ulrich Drepper <drepper@gnu.ai.mit.edu>, August 1995.
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 <sys/msg.h>
Packit Service 82fcde
#include <ipc_priv.h>
Packit Service 82fcde
#include <sysdep.h>
Packit Service 82fcde
#include <errno.h>
Packit Service 82fcde
Packit Service 82fcde
/* Detach shared memory segment starting at address specified by SHMADDR
Packit Service 82fcde
   from the caller's data segment.  */
Packit Service 82fcde
Packit Service 82fcde
int
Packit Service 82fcde
shmdt (const void *shmaddr)
Packit Service 82fcde
{
Packit Service 82fcde
#ifdef __ASSUME_DIRECT_SYSVIPC_SYSCALLS
Packit Service 82fcde
  return INLINE_SYSCALL_CALL (shmdt, shmaddr);
Packit Service 82fcde
#else
Packit Service 82fcde
  return INLINE_SYSCALL_CALL (ipc, IPCOP_shmdt, 0, 0, 0, shmaddr);
Packit Service 82fcde
#endif
Packit Service 82fcde
}