Blame mach/mig-dealloc.c

Packit Service 82fcde
/* Copyright (C) 1992-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 <mach.h>
Packit Service 82fcde
Packit Service 82fcde
/* Called by MiG to deallocate space.  */
Packit Service 82fcde
void
Packit Service 82fcde
__mig_deallocate (vm_address_t addr,
Packit Service 82fcde
		  vm_size_t size)
Packit Service 82fcde
{
Packit Service 82fcde
  (void) __vm_deallocate (__mach_task_self (), addr, size);
Packit Service 82fcde
}
Packit Service 82fcde
weak_alias (__mig_deallocate, mig_deallocate)