Re: [PATCH 1/7] libdiskfs: include the mig-generated server headers in demuxer.c

[Samuel Thibault]

Justus Winter, le Mon 02 Dec 2013 18:01:41 +0100, a écrit :
> GNU MIG recently gained support for emitting x_server_routine
> declarations in the generated server header file.  Using this
> declaration, the x_server_routine functions can be inlined into the
> demuxer function.
> 
> * libdiskfs/demuxer.c: Include the mig-generated server headers.

Ack.

> ---
>  libdiskfs/demuxer.c |   18 +++++++++---------
>  1 file changed, 9 insertions(+), 9 deletions(-)
> 
> diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c
> index 5412f26..4a1c4fb 100644
> --- a/libdiskfs/demuxer.c
> +++ b/libdiskfs/demuxer.c
> @@ -17,19 +17,19 @@
>  
>  #include "priv.h"
>  
> +#include "io_S.h"
> +#include "fs_S.h"
> +#include "../libports/notify_S.h"
> +#include "fsys_S.h"
> +#include "../libports/interrupt_S.h"
> +#include "ifsock_S.h"
> +#include "startup_notify_S.h"
> +#include "exec_startup_S.h"
> +
>  int
>  diskfs_demuxer (mach_msg_header_t *inp,
>               mach_msg_header_t *outp)
>  {
> -  mig_routine_t diskfs_io_server_routine (mach_msg_header_t *);
> -  mig_routine_t diskfs_fs_server_routine (mach_msg_header_t *);
> -  mig_routine_t ports_notify_server_routine (mach_msg_header_t *);
> -  mig_routine_t diskfs_fsys_server_routine (mach_msg_header_t *);
> -  mig_routine_t ports_interrupt_server_routine (mach_msg_header_t *);
> -  mig_routine_t diskfs_ifsock_server_routine (mach_msg_header_t *);
> -  mig_routine_t diskfs_exec_startup_server_routine (mach_msg_header_t *);
> -  mig_routine_t diskfs_startup_notify_server_routine (mach_msg_header_t *);
> -
>    mig_routine_t routine;
>    if ((routine = diskfs_io_server_routine (inp)) ||
>        (routine = diskfs_fs_server_routine (inp)) ||
> -- 
> 1.7.10.4
> 
> 

-- 
Samuel
 Les roots ne sont plus ce qu'ils étaient...Maintenant il sont dioxinés,
 c'est de la m... ! Avant on les élevaient avec du bon unix mais ça été
 remplacé par des farines industrielles nouvelles technologies (NT).
 -+- JdK in NPC : Exigez un root élevé sous la mère ! -+-