diff options
| -rw-r--r-- | device/ds_routines.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 1f0bacf4..ea880535 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -334,9 +334,9 @@ io_return_t ds_device_intr_register (device_t dev, int id, int flags, ipc_port_t receive_port) { -#if defined(MACH_XEN) || defined(__x86_64__) +#if defined(MACH_XEN) return D_INVALID_OPERATION; -#else /* MACH_XEN || __x86_64__ */ +#else /* MACH_XEN */ kern_return_t err; mach_device_t mdev; @@ -368,15 +368,15 @@ ds_device_intr_register (device_t dev, int id, ip_reference (receive_port); } return err; -#endif /* MACH_XEN || __x86_64__ */ +#endif /* MACH_XEN */ } kern_return_t ds_device_intr_ack (device_t dev, ipc_port_t receive_port) { -#if defined(MACH_XEN) || defined(__x86_64__) +#if defined(MACH_XEN) return D_INVALID_OPERATION; -#else /* MACH_XEN || __x86_64__ */ +#else /* MACH_XEN */ mach_device_t mdev; kern_return_t ret; @@ -396,7 +396,7 @@ ds_device_intr_ack (device_t dev, ipc_port_t receive_port) ipc_port_release_send(receive_port); return ret; -#endif /* MACH_XEN || __x86_64__ */ +#endif /* MACH_XEN */ } boolean_t |