witness_save
void witness_save(struct lock_object *, const char **, int *);
witness_save((lock), &__CONCAT(n, __wf), &__CONCAT(n, __wl))