tree 447dd44b5db78964cebbcb1899c900c2018eb158
parent 99ff0a7c506b922e31b0a91abcfc4441ef48c7d1
author Dave Rodgman <dave.rodgman@arm.com> 1674477171 +0000
committer Dave Rodgman <dave.rodgman@arm.com> 1674477171 +0000

Minor fixes

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