data_vio_has_flush_generation_lock
VDO_ASSERT_LOG_ONLY(data_vio_has_flush_generation_lock(data_vio),
if (!data_vio_has_flush_generation_lock(data_vio))