accel/tcg: Have tlb_vaddr_to_host() use vaddr type
authorPhilippe Mathieu-Daudé <philmd@linaro.org>
Wed, 13 Nov 2024 07:29:44 +0000 (08:29 +0100)
committerPhilippe Mathieu-Daudé <philmd@linaro.org>
Fri, 20 Dec 2024 16:44:56 +0000 (17:44 +0100)
commit9c6e54f4754dfdc1e278a1239553a935b92e3062
tree29b01c09df07c0d82bd044139eda64a15f5ddcfd
parentea77480146c4c84a604273de25744c78ef8968b9
accel/tcg: Have tlb_vaddr_to_host() use vaddr type

abi_ptr is expected to be used in user emulation.
tlb_vaddr_to_host() uses it, but can be used in
system emulation. Replace the type by 'vaddr' which
is equivalent on user emulation but also works on
system.

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20241114011310.3615-13-philmd@linaro.org>
accel/tcg/cputlb.c
include/exec/cpu_ldst.h