#ifndef _mydriver
#define _mydriver

/* Module mydriver */

#include <mach/kern_return.h>
#include <mach/port.h>
#include <mach/message.h>

#ifndef mig_external
#define mig_external extern
#endif

#include <mach/std_types.h>

/* Routine mydriver_do_log */
mig_external kern_return_t mydriver_do_log (
    port_t server);

#endif  _mydriver
