diff options
author | kris <kris@FreeBSD.org> | 2002-12-22 16:32:34 +0000 |
---|---|---|
committer | kris <kris@FreeBSD.org> | 2002-12-22 16:32:34 +0000 |
commit | a658b7f4f99cc87b1f1118c9f2a7944afb3998f5 (patch) | |
tree | 16265773326b36be89e9026da189f18aff037246 /sys/kern | |
parent | 4fcb40fba4e3ff893d74aa0b27bf173abfb74b4e (diff) | |
download | FreeBSD-src-a658b7f4f99cc87b1f1118c9f2a7944afb3998f5.zip FreeBSD-src-a658b7f4f99cc87b1f1118c9f2a7944afb3998f5.tar.gz |
Enforce correct ordering of the filedesc structure and pipe mutex, because
WITNESS can get the order wrong if it guesses based on first use.
Reviewed by: jhb, alfred
Diffstat (limited to 'sys/kern')
-rw-r--r-- | sys/kern/subr_witness.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/kern/subr_witness.c b/sys/kern/subr_witness.c index 411703a..05d279a 100644 --- a/sys/kern/subr_witness.c +++ b/sys/kern/subr_witness.c @@ -198,6 +198,8 @@ static struct witness_order_list_entry order_lists[] = { { "Giant", &lock_class_mtx_sleep }, { "proctree", &lock_class_sx }, { "allproc", &lock_class_sx }, + { "filedesc structure", &lock_class_mtx_sleep }, + { "pipe mutex", &lock_class_mtx_sleep }, { "sigio lock", &lock_class_mtx_sleep }, { "process group", &lock_class_mtx_sleep }, { "process lock", &lock_class_mtx_sleep }, |