RW_ONE_READER
*vp + RW_ONE_READER)) {
(void *)(*vp + RW_ONE_READER));
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, &x, x + RW_ONE_READER)) {
*vp - RW_ONE_READER)) {
(void *)(*vp - RW_ONE_READER));