Richard Henderson <richard.hender...@linaro.org> writes:
> Always pass the target address as uint64_t. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> Reviewed-by: Alex Bennée <alex.ben...@linaro.org> -- Alex Bennée Virtualisation Tech Lead @ Linaro
