tree 116edde9a37808e0fedb5d481beadd19d7046b3e
parent 472a69260bf868c329607b0e2bcf9c09d10a31e4
author Jerry Yu <jerry.h.yu@arm.com> 1699595896 +0800
committer Jerry Yu <jerry.h.yu@arm.com> 1700531964 +0800

Add maximum ticket lifetime check

Also add comments for age cast

Signed-off-by: Jerry Yu <jerry.h.yu@arm.com>