tree 4c51722c8c78ed3aa6db0024017c87094ecb180b
parent 011e4284a1709bd8306c016ee9040922af45a24b
author Gilles Peskine <Gilles.Peskine@arm.com> 1562966309 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562966309 +0200

Change driver key slot numbers to 64 bits

This slightly increases storage requirements, but works in more use
cases. In particular, it allows drivers to treat choose slot numbers
with a monotonic counter that is incremented each time a key is
created, without worrying about overflow in practice.