__rcmtx_leave
void __rcmtx_leave(struct __rcmtx *);
__rcmtx_leave(&fp->_lock);
__rcmtx_leave(&(fp)->_lock); \