K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2017-07-22T05:58:10.084371Z
K 7
svn:log
V 224
MFC r315621
  Use IDX_TO_OFF(), not ptoa(), when converting the difference between two
  vm_pindex_t's into a vm_ooffset_t.

  The length given to shm_dotruncate() must never be negative.  Assert this.

  Tidy up a comment.

END