tree 237b1b594177799ad51fe885356fef457cd165c1
parent 78508c496c70c77068cd9647804f7a51da7ecf63
author Dave Rodgman <dave.rodgman@arm.com> 1660222055 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1663926153 +0100

Minor tidy-up

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