pfinet: improve the mig mutator functions

Previously, the mig mutator functions were in misc.c, preventing them
from being inlined into the mig-generated server functions.  Put them
in mig-decls.h instead.  Rename mutations.h to mig-mutate.h.  This is
the naming convention used for pflocal.

* pfinet/mutations.h: Rename to mig-mutate.h, adopt imports.
* pfinet/Makefile: Adopt accordingly.
* pfinet/mig-decls.h: New file.
* pfinet/misc.c: Move mutator functions to mig-decls.h.
* pfinet/pfinet.h: Move type declarations to mig-decls.h, remove
mutator declarations.
* pfinet/iioctl-ops.c: Include mig-decls.h.

1 files changed, 0 insertions, 38 deletions

diff --git a/pfinet/mutations.h b/pfinet/mutations.h
deleted file mode 100644
index f63ad9b9..00000000
--- a/pfinet/mutations.h
+++ /dev/null
@@ -1,38 +0,0 @@
-/*
-   Copyright (C) 1995 Free Software Foundation, Inc.
-   Written by Michael I. Bushnell, p/BSG.
-
-   This file is part of the GNU Hurd.
-
-   The GNU Hurd is free software; you can redistribute it and/or
-   modify it under the terms of the GNU General Public License as
-   published by the Free Software Foundation; either version 2, or (at
-   your option) any later version.
-
-   The GNU Hurd 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
-   General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111, USA. */
-
-/* Only CPP macro definitions should go in this file. */
-
-#define IO_SELECT_REPLY_PORT
-
-#define IO_INTRAN sock_user_t begin_using_socket_port (io_t)
-#define IO_DESTRUCTOR end_using_socket_port (sock_user_t)
-
-#define SOCKET_INTRAN sock_user_t begin_using_socket_port (socket_t)
-#define SOCKET_DESTRUCTOR end_using_socket_port (sock_user_t)
-
-#define ADDRPORT_INTRAN sock_addr_t begin_using_sockaddr_port (addr_port_t)
-#define ADDRPORT_DESTRUCTOR end_using_sockaddr_port (sock_addr_t)
-
-#define PF_INTRAN trivfs_protid_t trivfs_begin_using_protid (pf_t)
-#define PF_DESTRUCTOR trivfs_end_using_protid (trivfs_protid_t)
-
-#define IO_IMPORTS import "pfinet.h";
-#define SOCKET_IMPORTS import "pfinet.h";