target-arm: Make page size a runtime setting
commite97da98f1173c764e8fd8d2c84f84ec3bdc87488
authorPeter Maydell <peter.maydell@linaro.org>
Mon, 24 Oct 2016 15:26:50 +0000 (24 16:26 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 24 Oct 2016 15:26:50 +0000 (24 16:26 +0100)
tree2c4c6f982b4353e5c223b7d642c52f9258378359
parent59811a320d6b2a6db2646f908bb016dd8553df27
target-arm: Make page size a runtime setting

Rather than defining TARGET_PAGE_BITS to always be 10,
switch to using a value picked at runtime. This allows us
to use 4K pages for modern ARM CPUs (and in particular all
64-bit CPUs) without having to drop support for the old
ARMv5 CPUs which had 1K pages.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <rth@twiddle.net>
target-arm/cpu.c
target-arm/cpu.h