Add new RPC server stubs for device_intr_*

* boot/boot.c (ds_device_intr_register, ds_device_intr_ack): New stubs.
* devnode/devnode.c (ds_device_intr_register, ds_device_intr_ack): New stubs.
* eth-multiplexer/device_impl.c (ds_device_intr_register,
ds_device_intr_ack): New stubs.

1 files changed, 13 insertions, 0 deletions

diff --git a/eth-multiplexer/device_impl.c b/eth-multiplexer/device_impl.c
index 3be4fb5c..a029f0be 100644
--- a/eth-multiplexer/device_impl.c
+++ b/eth-multiplexer/device_impl.c
@@ -200,3 +200,16 @@ ds_device_set_filter (struct vether_device *vdev, mach_port_t receive_port,
 out:
   return err;
 }
+
+kern_return_t
+ds_device_intr_register (struct vether_device *vdev, int id, int flags,
+			 mach_port_t receive_port)
+{
+  return D_INVALID_OPERATION;
+}
+
+kern_return_t
+ds_device_intr_ack (struct vether_device *vdev, mach_port_t receive_port)
+{
+  return D_INVALID_OPERATION;
+}