diff options
| -rw-r--r-- | device/ds_routines.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 8900c97f..681f6260 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -347,9 +347,8 @@ ds_device_intr_register (device_t dev, int id, if (!e) return D_NO_MEMORY; - // TODO The original port should be replaced - // when the same device driver calls it again, - // in order to handle the case that the device driver crashes and restarts. + // TODO detect when the port get destroyed because the driver crashes and + // restart, to replace it when the same device driver calls it again. err = install_user_intr_handler (&irqtab, id, flags, e); if (err == D_SUCCESS) { |