summaryrefslogtreecommitdiff
path: root/device/ds_routines.c
diff options
context:
space:
mode:
Diffstat (limited to 'device/ds_routines.c')
-rw-r--r--device/ds_routines.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 36a8437e..28be3467 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -345,7 +345,7 @@ ds_device_intr_register (device_t dev, int id,
return D_NO_MEMORY;
// TODO The original port should be replaced
- // when the same device driver calls it again,
+ // when the same device driver calls it again,
// in order to handle the case that the device driver crashes and restarts.
err = install_user_intr_handler (&irqtab, id, flags, e);
if (err == D_SUCCESS)