On Fri, 5 Jun 2020 at 05:17, Richard Henderson <richard.hender...@linaro.org> wrote: > > We must always use GUEST_ADDR_MAX, because even 32-bit hosts can > use -R <reserved_va> to restrict the memory address of the guest. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> > --- > include/exec/cpu_ldst.h | 9 ++++----- > 1 file changed, 4 insertions(+), 5 deletions(-)
Doesn't this run into trouble with the arm32 commpage? The reserved_va is set there to 0xffff0000 (stopping at the commpage), but the addresses within the commpage themselves are still valid guest addresses. thanks -- PMM
