tree 34ec7b4c516dc445003e443bcd7c370660f8abdf
parent c50b717a192fe84a0cdc183d7b207eb70032775a
author Dave Rodgman <dave.rodgman@arm.com> 1624976721 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1624976721 +0100

Address review comment

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