aboutsummaryrefslogtreecommitdiff
path: root/kern/sched_prim.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-12 18:57:09 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-12 23:29:30 +0200
commit18c0d15c5b63fc2345c63a78f5586ff47eda706f (patch)
treeaf58a58053746a84048bfeba5acef6583e16c118 /kern/sched_prim.c
parent98a5b2d84e39d5cc8a92951589aa307fdbaff902 (diff)
downloadgnumach-18c0d15c5b63fc2345c63a78f5586ff47eda706f.tar.gz
gnumach-18c0d15c5b63fc2345c63a78f5586ff47eda706f.tar.bz2
gnumach-18c0d15c5b63fc2345c63a78f5586ff47eda706f.zip
simple lock: check that the non-_irq variants are not called from IRQ
Diffstat (limited to 'kern/sched_prim.c')
0 files changed, 0 insertions, 0 deletions