witness_checkorder
witness_checkorder((lock), (flags), (interlock))
void witness_checkorder(struct lock_object *, int, struct lock_object *);