diff --git a/target/arm/helper.c b/target/arm/helper.c
index f21c14260235ec3209107ba8012ad212c311e991..c4c8d5a7d2b378c935a4196e36bfb0b4ce36c042 100644
--- a/target/arm/helper.c
+++ b/target/arm/helper.c
@@ -8016,6 +8016,7 @@ static inline bool regime_is_user(CPUARMState *env, ARMMMUIdx mmu_idx)
     case ARMMMUIdx_S1SE0:
     case ARMMMUIdx_S1NSE0:
     case ARMMMUIdx_MUser:
+    case ARMMMUIdx_MSUser:
         return true;
     default:
         return false;