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