K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2014-11-25T05:53:39.686288Z
K 7
svn:log
V 105
Change the only user of vdsk_read() to vdsk_readv(). This simplifies
the interface at virtually no cost.

END