tree f5c0f5e739c026609cb10ce7b860d2ac0b247f45
parent dd3103e9e7ece8173e8a8212e1c00b8078a99963
author Dave Rodgman <dave.rodgman@arm.com> 1669235343 +0000
committer Dave Rodgman <dave.rodgman@arm.com> 1669235343 +0000

Fix naming inconsistency

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