> Oskit-mach/oskit/ds_asynchio.c lacked definitions of
> ds_device_.*error_reply and ds_device_.*reply_inband functions. This
> can be fixed by including mig-generated headers device_reply.h and
> device_error_reply.h. But, both of them had the same `#ifndef
> _device_reply_user_' phrase at the be
Oskit-mach/oskit/ds_asynchio.c lacked definitions of
ds_device_.*error_reply and ds_device_.*reply_inband functions. This
can be fixed by including mig-generated headers device_reply.h and
device_error_reply.h. But, both of them had the same `#ifndef
_device_reply_user_' phrase at the beginning, s
