entered into RCS
authorroland <roland>
Fri, 25 Mar 1994 02:23:35 +0000 (02:23 +0000)
committerroland <roland>
Fri, 25 Mar 1994 02:23:35 +0000 (02:23 +0000)
mach/mig-dealloc.c [new file with mode: 0644]

diff --git a/mach/mig-dealloc.c b/mach/mig-dealloc.c
new file mode 100644 (file)
index 0000000..d64db2d
--- /dev/null
@@ -0,0 +1,27 @@
+/* Copyright (C) 1992 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 <mach.h>
+
+/* Called by MiG to deallocate space.  */
+void
+__mig_deallocate (vm_address_t addr,
+                 vm_size_t size)
+{
+  (void) __vm_deallocate (__mach_task_self (), addr, size);
+}