On 5/2/25 05:03, Richard Henderson wrote:
Since we no longer support 64-bit guests on 32-bit hosts,
we can use a 32-bit type on a 32-bit host.

Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
---
  include/exec/vaddr.h | 16 +++++++++-------
  1 file changed, 9 insertions(+), 7 deletions(-)

Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org>


Reply via email to