aboutsummaryrefslogtreecommitdiff
path: root/device/ds_routines.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-02-15 23:40:54 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-02-15 23:40:56 +0100
commitcb5e3ca248435f19fce0254987ba894a25611974 (patch)
tree0a381f24b9d537b10e2079e38a3adeb5da59fcc0 /device/ds_routines.c
parentb0c0a49918b6fd5f75cbd7565429a1398ddc80a9 (diff)
downloadgnumach-cb5e3ca248435f19fce0254987ba894a25611974.tar.gz
gnumach-cb5e3ca248435f19fce0254987ba894a25611974.tar.bz2
gnumach-cb5e3ca248435f19fce0254987ba894a25611974.zip
Document spl levels of locks taken during interrupts
Diffstat (limited to 'device/ds_routines.c')
-rw-r--r--device/ds_routines.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 07ab7b30..94e61592 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -1507,8 +1507,9 @@ ds_no_senders(mach_no_senders_notification_t *notification)
notification->not_count);
}
+/* Shall be taken at splio only */
+def_simple_lock_data(static, io_done_list_lock) /* Lock for... */
queue_head_t io_done_list;
-def_simple_lock_data(static, io_done_list_lock)
#define splio splsched /* XXX must block ALL io devices */