[PATCH 2/3] x86_64: enable code for managing interrupts

[Luca Dariz]

* device/ds_routines.c: enable interrupt registration and acknowledge
  for x86_64. We can reuse the 32-bit mechanisms.
---
 device/ds_routines.c | 12 ++++++------
 1 file 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
-- 
2.30.2