summaryrefslogtreecommitdiffstats
path: root/sys/kern/subr_witness.c
diff options
context:
space:
mode:
authorkris <kris@FreeBSD.org>2002-12-22 16:32:34 +0000
committerkris <kris@FreeBSD.org>2002-12-22 16:32:34 +0000
commita658b7f4f99cc87b1f1118c9f2a7944afb3998f5 (patch)
tree16265773326b36be89e9026da189f18aff037246 /sys/kern/subr_witness.c
parent4fcb40fba4e3ff893d74aa0b27bf173abfb74b4e (diff)
downloadFreeBSD-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/subr_witness.c')
-rw-r--r--sys/kern/subr_witness.c2
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 },
OpenPOWER on IntegriCloud