These registers are VMSA specific so they should be conditional on VMSA (i.e. !MPU).
Signed-off-by: Peter Crosthwaite <peter.crosthwa...@xilinx.com> --- target-arm/helper.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/target-arm/helper.c b/target-arm/helper.c index 1e5c4c1..ce320ed 100644 --- a/target-arm/helper.c +++ b/target-arm/helper.c @@ -3196,7 +3196,8 @@ void register_cp_regs_for_features(ARMCPU *cpu) if (arm_feature(env, ARM_FEATURE_V6K)) { define_arm_cp_regs(cpu, v6k_cp_reginfo); } - if (arm_feature(env, ARM_FEATURE_V7MP)) { + if (arm_feature(env, ARM_FEATURE_V7MP) && + !arm_feature(env, ARM_FEATURE_MPU)) { define_arm_cp_regs(cpu, v7mp_cp_reginfo); } if (arm_feature(env, ARM_FEATURE_V7)) { -- 2.4.3.3.g905f831