tree 5cbda761db3d946f2dafca04afaab139077596dd
parent a3a67f54f0b4ec98ff2380a792e5bfeebc47d554
author Richard Henderson <richard.henderson@linaro.org> 1678055189 +0300
committer Richard Henderson <richard.henderson@linaro.org> 1680042190 -0700

include/exec: Change reserved_va semantics to last byte

Change the semantics to be the last byte of the guest va, rather
than the following byte.  This avoids some overflow conditions.

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>