rwst_lock_held
held = rwst_lock_held(&vpvfsentry->ve_lock, RW_WRITER);
extern int rwst_lock_held(rwstlock_t *, krw_t);