diff options
| -rw-r--r-- | device/ds_routines.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 439fc5b3..0db4f8cd 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -354,6 +354,9 @@ ds_device_intr_register (device_t dev, int id, if (! name_equal(mdev->dev_ops->d_name, 3, "irq")) return D_INVALID_OPERATION; + if (id < 0 || id >= NINTR) + return D_INVALID_OPERATION; + user_intr_t *e = insert_intr_entry (&irqtab, id, receive_port); if (!e) return D_NO_MEMORY; |