tree 22af48c79491f32d18911ceb9c23078702e3059b
parent 7a8a2490e58330907c7b67e53be210782c101ec3
author Dave Rodgman <dave.rodgman@arm.com> 1696423121 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1696423121 +0100

tidy up

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