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:
kris 2002-12-22 16:32:34 +00:00
parent 4fcb40fba4
commit a658b7f4f9

View File

@ -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 },