RW_DOUBLE_LOCK
if (((wwwh = lock.rw_wwwh) & RW_DOUBLE_LOCK) == RW_DOUBLE_LOCK)
" |"[(wwwh & RW_DOUBLE_LOCK) == RW_DOUBLE_LOCK],
if ((wwwh & RW_DOUBLE_LOCK) == RW_DOUBLE_LOCK) {
if ((lp->rw_wwwh & RW_DOUBLE_LOCK) == RW_DOUBLE_LOCK)
lp->rw_wwwh = RW_DOUBLE_LOCK;
if ((old & RW_DOUBLE_LOCK) == RW_DOUBLE_LOCK) {