K 10
svn:author
V 3
mjg
K 8
svn:date
V 27
2014-11-03T13:14:34.190936Z
K 7
svn:log
V 209
Fix misplaced read memory barrier in seq.

Impact on capability races was small: it was possible to get a spurious
ENOTCAPABLE (early return), but it was not possible to bypass checks.

Tidy up some comments.

END