tree 7b401b3f672061d2fe5ab4b3d016a1d1f4c962cb
parent d106308c83597a3c2f891bad4480a81c49c30b91
author Dave Rodgman <dave.rodgman@arm.com> 1660222055 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1660904197 +0100

Minor tidy-up

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