diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-19 11:37:18 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-19 11:37:18 +0200 |
| commit | 9e960ca99381dad4d1b75ad56842a5b5c3e41235 (patch) | |
| tree | 6eaadd1f929fae133942ce6739252c42c2c596e7 /device | |
| parent | de7bdf13e5b1c688aaf52e83e1812c4013fad0f5 (diff) | |
intr_register: better document how we'd handle crashes
Diffstat (limited to 'device')
| -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) { |