tree bf4deca71132f574cd4acf046fa831b64af5b9cb
parent fa4135b13537840714fda55839ebc9822f2d0f51
author Gilles Peskine <Gilles.Peskine@arm.com> 1544457638 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1544543294 +0100

Document some functions in internal headers