__rw_can_read
while (__rw_can_read(td, *vp, fp)) {
MPASS(!__rw_can_read(td, v, false));
if (__rw_can_read(td, v, false))
__rw_can_read(td, v, false)) {
MPASS(!__rw_can_read(td, v, false));