diff options
| author | Luca Dariz <luca@orpolo.org> | 2023-05-26 20:48:00 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-26 23:38:58 +0200 |
| commit | 4677606b7c4c2b090d11fdd705ce9978fb1c5d5a (patch) | |
| tree | 2498994731d279dfe40c5d5847a6ae4e10191656 | |
| parent | d972c01c6cce5325732e9fec33b50685017d7e23 (diff) | |
x86_64: enable code for managing interrupts
* device/ds_routines.c: enable interrupt registration and acknowledge
for x86_64. We can reuse the 32-bit mechanisms.
Message-Id: <20230526184801.753581-3-luca@orpolo.org>
| -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 |