#ifndef	_device_request_user_
#define	_device_request_user_

/* Module device_request */

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

#include <mach/std_types.h>
#include <device/device_types.h>
#include <device/net_status.h>

/* SimpleRoutine device_open_request */
#define MIG_RPC_HAVE___DEVICE_OPEN_REQUEST
#define MIG_RPC_REQUEST_ID___DEVICE_OPEN_REQUEST 2800
#define MIG_RPC_REPLY_ID___DEVICE_OPEN_REQUEST 2900
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_open_request
(
	mach_port_t device_server_port,
	mach_port_t reply_port,
	dev_mode_t mode,
	const_dev_name_t name
);

/* SimpleRoutine device_write_request */
#define MIG_RPC_HAVE___DEVICE_WRITE_REQUEST
#define MIG_RPC_REQUEST_ID___DEVICE_WRITE_REQUEST 2802
#define MIG_RPC_REPLY_ID___DEVICE_WRITE_REQUEST 2902
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_write_request
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	io_buf_ptr_t data,
	mach_msg_type_number_t dataCnt
);

/* SimpleRoutine device_write_request_inband */
#define MIG_RPC_HAVE___DEVICE_WRITE_REQUEST_INBAND
#define MIG_RPC_REQUEST_ID___DEVICE_WRITE_REQUEST_INBAND 2803
#define MIG_RPC_REPLY_ID___DEVICE_WRITE_REQUEST_INBAND 2903
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_write_request_inband
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	const_io_buf_ptr_inband_t data,
	mach_msg_type_number_t dataCnt
);

/* SimpleRoutine device_read_request */
#define MIG_RPC_HAVE___DEVICE_READ_REQUEST
#define MIG_RPC_REQUEST_ID___DEVICE_READ_REQUEST 2804
#define MIG_RPC_REPLY_ID___DEVICE_READ_REQUEST 2904
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_read_request
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	int bytes_wanted
);

/* SimpleRoutine device_read_request_inband */
#define MIG_RPC_HAVE___DEVICE_READ_REQUEST_INBAND
#define MIG_RPC_REQUEST_ID___DEVICE_READ_REQUEST_INBAND 2805
#define MIG_RPC_REPLY_ID___DEVICE_READ_REQUEST_INBAND 2905
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_read_request_inband
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	int bytes_wanted
);

/* SimpleRoutine device_open_new_request */
#define MIG_RPC_HAVE___DEVICE_OPEN_NEW_REQUEST
#define MIG_RPC_REQUEST_ID___DEVICE_OPEN_NEW_REQUEST 2806
#define MIG_RPC_REPLY_ID___DEVICE_OPEN_NEW_REQUEST 2906
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t __device_open_new_request
(
	mach_port_t device_server_port,
	mach_port_t reply_port,
	dev_mode_t mode,
	const_dev_name_t name
);


/* Module device_request */

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

#include <mach/std_types.h>
#include <device/device_types.h>
#include <device/net_status.h>

/* SimpleRoutine device_open_request */
#define MIG_RPC_HAVE_DEVICE_OPEN_REQUEST
#define MIG_RPC_REQUEST_ID_DEVICE_OPEN_REQUEST 2800
#define MIG_RPC_REPLY_ID_DEVICE_OPEN_REQUEST 2900
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_open_request
(
	mach_port_t device_server_port,
	mach_port_t reply_port,
	dev_mode_t mode,
	const_dev_name_t name
);

/* SimpleRoutine device_write_request */
#define MIG_RPC_HAVE_DEVICE_WRITE_REQUEST
#define MIG_RPC_REQUEST_ID_DEVICE_WRITE_REQUEST 2802
#define MIG_RPC_REPLY_ID_DEVICE_WRITE_REQUEST 2902
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_write_request
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	io_buf_ptr_t data,
	mach_msg_type_number_t dataCnt
);

/* SimpleRoutine device_write_request_inband */
#define MIG_RPC_HAVE_DEVICE_WRITE_REQUEST_INBAND
#define MIG_RPC_REQUEST_ID_DEVICE_WRITE_REQUEST_INBAND 2803
#define MIG_RPC_REPLY_ID_DEVICE_WRITE_REQUEST_INBAND 2903
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_write_request_inband
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	const_io_buf_ptr_inband_t data,
	mach_msg_type_number_t dataCnt
);

/* SimpleRoutine device_read_request */
#define MIG_RPC_HAVE_DEVICE_READ_REQUEST
#define MIG_RPC_REQUEST_ID_DEVICE_READ_REQUEST 2804
#define MIG_RPC_REPLY_ID_DEVICE_READ_REQUEST 2904
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_read_request
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	int bytes_wanted
);

/* SimpleRoutine device_read_request_inband */
#define MIG_RPC_HAVE_DEVICE_READ_REQUEST_INBAND
#define MIG_RPC_REQUEST_ID_DEVICE_READ_REQUEST_INBAND 2805
#define MIG_RPC_REPLY_ID_DEVICE_READ_REQUEST_INBAND 2905
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_read_request_inband
(
	mach_port_t device,
	mach_port_t reply_port,
	dev_mode_t mode,
	recnum_t recnum,
	int bytes_wanted
);

/* SimpleRoutine device_open_new_request */
#define MIG_RPC_HAVE_DEVICE_OPEN_NEW_REQUEST
#define MIG_RPC_REQUEST_ID_DEVICE_OPEN_NEW_REQUEST 2806
#define MIG_RPC_REPLY_ID_DEVICE_OPEN_NEW_REQUEST 2906
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t device_open_new_request
(
	mach_port_t device_server_port,
	mach_port_t reply_port,
	dev_mode_t mode,
	const_dev_name_t name
);

#endif	/* not defined(_device_request_user_) */
