194 	struct lock_object	*li_lock;
283 	struct lock_object	*wh_lock;
319 				    const struct lock_object *lock);
362 static void	witness_setflag(struct lock_object *lock, int flag, int set);
795 	struct lock_object *lock;  in witness_startup()
880 witness_init(struct lock_object *lock, const char *type)  in witness_init()
921 witness_destroy(struct lock_object *lock)  in witness_destroy()
1080 witness_defineorder(struct lock_object *lock1, struct lock_object *lock2)  in witness_defineorder()
1113 witness_checkorder(struct lock_object *lock, int flags, const char *file,  in witness_checkorder()
1114     int line, struct lock_object *interlock)  in witness_checkorder()
1311 			    lock == &Giant.lock_object)  in witness_checkorder()
1320 			    lock1->li_lock == &Giant.lock_object)  in witness_checkorder()
1339 			    lock == &Giant.lock_object)  in witness_checkorder()
1407 			    && lock == &Giant.lock_object)  in witness_checkorder()
1495 	    !(plock->li_lock == &Giant.lock_object &&  in witness_checkorder()
1507 witness_lock(struct lock_object *lock, int flags, const char *file, int line)  in witness_lock()
1567 witness_upgrade(struct lock_object *lock, int flags, const char *file, int line)  in witness_upgrade()
1612 witness_downgrade(struct lock_object *lock, int flags, const char *file,  in witness_downgrade()
1658 witness_unlock(struct lock_object *lock, int flags, const char *file, int line)  in witness_unlock()
1800 witness_warn(int flags, struct lock_object *lock, const char *fmt, ...)  in witness_warn()
1818 			    lock1->li_lock == &Giant.lock_object)  in witness_warn()
1872 witness_file(struct lock_object *lock)  in witness_file()
1883 witness_line(struct lock_object *lock)  in witness_line()
2234 find_instance(struct lock_list_entry *list, const struct lock_object *lock)  in find_instance()
2253 	struct lock_object *lock;  in witness_list_lock()
2343 witness_display_spinlock(struct lock_object *lock, struct thread *owner,  in witness_display_spinlock()
2358 witness_save(struct lock_object *lock, const char **filep, int *linep)  in witness_save()
2397 witness_restore(struct lock_object *lock, const char *file, int line)  in witness_restore()
2434 witness_find_instance(const struct lock_object *lock,  in witness_find_instance()
2460 witness_assert(const struct lock_object *lock, int flags, const char *file,  in witness_assert()
2530 witness_is_owned(const struct lock_object *lock)  in witness_is_owned()
2544 witness_setflag(struct lock_object *lock, int flag, int set)  in witness_setflag()
2574 witness_norelease(struct lock_object *lock)  in witness_norelease()
2581 witness_releaseok(struct lock_object *lock)  in witness_releaseok()