Searched refs:witness_restore (Results 1 – 2 of 2) sorted by relevance
219 void witness_restore(struct lock_object *, const char *, int);278 witness_restore((lock), __CONCAT(n, __wf), __CONCAT(n, __wl))
2343 witness_restore(struct lock_object *lock, const char *file, int line) in witness_restore() function