-
Pierre Gondois authored
The fields of the _CPC object are unsigned 32-bits values. To avoid overflows while using _CPC's values, add 'u64' casts. Signed-off-by:
Pierre Gondois <pierre.gondois@arm.com> Signed-off-by:
Viresh Kumar <viresh.kumar@linaro.org>
f5f94b9c