tree 3e13f5d37fc83959e9a8488088465b09dc8c3ee3
parent 5d2024333ba2a30b26e158ef2d1ba2959d3ecb6f
author Dave Rodgman <dave.rodgman@arm.com> 1678974212 +0000
committer Dave Rodgman <dave.rodgman@arm.com> 1678974212 +0000

Add explanatory comment

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>