On 15 December 2015 at 22:51, Andrew Jones <drjo...@redhat.com> wrote: > This is necessary for targets that don't have TARGET_PAGE_SIZE == > real-target-page-size. The target should set the page size to the > correct one, if known, or, if not known, to the maximum page size > it supports. > > (No functional change.) > > Signed-off-by: Andrew Jones <drjo...@redhat.com>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM