Symbol: witness_restore
sys/sys/lock.h
235
void witness_restore(struct lock_object *, const char *, int);
sys/sys/lock.h
297
witness_restore((lock), __CONCAT(n, __wf), __CONCAT(n, __wl))