From cb5e3ca248435f19fce0254987ba894a25611974 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 15 Feb 2023 23:40:54 +0100
Subject: Document spl levels of locks taken during interrupts

---
 kern/mach_clock.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kern/mach_clock.c')

diff --git a/kern/mach_clock.c b/kern/mach_clock.c
index ed38c76b..a3656948 100644
--- a/kern/mach_clock.c
+++ b/kern/mach_clock.c
@@ -119,6 +119,7 @@ MACRO_BEGIN								\
 	} while ((time)->seconds != mtime->check_seconds64);	\
 MACRO_END
 
+/* Shall be taken at splsched only */
 def_simple_lock_data(static,	timer_lock)	/* lock for ... */
 timer_elt_data_t	timer_head;	/* ordered list of timeouts */
 					/* (doubles as end-of-list) */
-- 
cgit v1.2.3