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
This commit is contained in:
parent
f939355be4
commit
4ef3d7a27b
@ -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 },
|
||||
|
Loading…
x
Reference in New Issue
Block a user