diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-15 21:57:42 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-15 21:58:57 +0200 |
| commit | b0b32f66a1f4efc1755282d7f35d55dd0e058b28 (patch) | |
| tree | e8eb3ec7f5ecc7d3cfc8a2129b0a15c1aba8530a /device | |
| parent | 6054cda4de2341b9a77ec4421411725f3684006b (diff) | |
Fix xen build
* device/ds_routines.c (ds_device_intr_register, ds_device_intr_ack)
[MACH_XEN]: Return D_INVALID_OPERATION.
* i386/Makefrag.am [!PLATFORM_at] (libkernel_a_SOURCES): Remove
i386/i386/irq.c and i386/i386/irq.h.
* i386/i386/irq.c: Include <kern/assert.h>.
Diffstat (limited to 'device')
| -rw-r--r-- | device/ds_routines.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 78ff51fe..826005f2 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -325,6 +325,9 @@ io_return_t ds_device_intr_register (device_t dev, int id, int flags, ipc_port_t receive_port) { +#ifdef MACH_XEN + return D_INVALID_OPERATION; +#else /* MACH_XEN */ kern_return_t err; mach_device_t mdev = dev->emul_data; @@ -355,11 +358,15 @@ ds_device_intr_register (device_t dev, int id, ip_reference (receive_port); } return err; +#endif /* MACH_XEN */ } kern_return_t ds_device_intr_ack (device_t dev, ipc_port_t receive_port) { +#ifdef MACH_XEN + return D_INVALID_OPERATION; +#else /* MACH_XEN */ mach_device_t mdev = dev->emul_data; /* Refuse if device is dead or not completely open. */ @@ -371,6 +378,7 @@ ds_device_intr_ack (device_t dev, ipc_port_t receive_port) return D_INVALID_OPERATION; return irq_acknowledge(receive_port); +#endif /* MACH_XEN */ } boolean_t |