tree 5071f00273bccd6e440c1757fd83e290ebbe9bb6
parent a0af95f052fa734c662dfe420d3e34e6ed777ed5
author Gilles Peskine <Gilles.Peskine@arm.com> 1507657605 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513792225 +0100

timing interface documentation: minor clarifications