[sr-dev] git:master:8ab50bf8: dispatcher: docs for ds_mark_addr()