tree a7358f82e8ccd6882ec011a0e5d3ea8f03f9afa1
parent 5265c318a03e2b681821aeabe651e8ab3f7a2216
author Dave Rodgman <dave.rodgman@arm.com> 1694453997 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1694453997 +0100

Fix type error

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