tree 3225788c372e74a584857ad2b4f7cd6515629d09
parent 9e7d37e7d4de365e56c4a6e1a38950378ae0c841
author Sandrine Bailleux <sandrine.bailleux@arm.com> 1545144301 +0100
committer Sandrine Bailleux <sandrine.bailleux@arm.com> 1546878676 +0000

Explain why we set HCR.TGE bit

Change-Id: Id55a62e8610f0b162a26a0eeb8f69e4a87910ed7
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>