On 1/7/19 9:45 PM, Peter Maydell wrote:
> I assume 48 bits is what the kernel sets up for userspace ?
Yep. There's been some discussion about what to do with 52-bit addressing, but
it hasn't landed upstream yet.
r~
On Fri, 14 Dec 2018 at 05:24, Richard Henderson
wrote:
>
> We need to reuse this from helper-a64.c. Provide a stub
> definition for CONFIG_USER_ONLY. This matches the stub
> definitions that we removed for arm_regime_tbi{0,1} before.
>
> Signed-off-by: Richard Henderson
> ---
> target/arm/inte
We need to reuse this from helper-a64.c. Provide a stub
definition for CONFIG_USER_ONLY. This matches the stub
definitions that we removed for arm_regime_tbi{0,1} before.
Signed-off-by: Richard Henderson
---
target/arm/internals.h | 17 +
target/arm/helper.c| 4 ++--
2 fil
