tree 79d3e4951854608c02a05bfa7c99d0c671e35300
parent 49352832c9054ebff0f8542bc02038bf8a621a3a
author Dave Rodgman <dave.rodgman@arm.com> 1694451853 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1694451853 +0100

Fix type-conversion error

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