Blame mach/mutex-solid.c

Packit Service 82fcde
/* Stub versions of mutex_lock_solid/mutex_unlock_solid for no -lthreads.
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
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 <lock-intern.h>
Packit Service 82fcde
#include <cthreads.h>
Packit Service 82fcde
Packit Service 82fcde
/* If cthreads is linked in, it will define these functions itself to do
Packit Service 82fcde
   real cthreads mutex locks.  This file will only be linked in when
Packit Service 82fcde
   cthreads is not used, and `mutexes' are in fact just spin locks (and
Packit Service 82fcde
   some unused storage).  */
Packit Service 82fcde
Packit Service 82fcde
void
Packit Service 82fcde
__mutex_lock_solid (void *lock)
Packit Service 82fcde
{
Packit Service 82fcde
  __spin_lock_solid (lock);
Packit Service 82fcde
}
Packit Service 82fcde
Packit Service 82fcde
void
Packit Service 82fcde
__mutex_unlock_solid (void *lock)
Packit Service 82fcde
{
Packit Service 82fcde
}