update

[l4.git] / kernel / fiasco / src / kern / arm / trap_state.cpp

diff --git a/kernel/fiasco/src/kern/arm/trap_state.cpp b/kernel/fiasco/src/kern/arm/trap_state.cpp
index 42dfd0a1004410134dee93f86e9c8a7c3ef5e668..25d351594ee09b0534c56618ae2796043bf2364d 100644 (file)
--- a/kernel/fiasco/src/kern/arm/trap_state.cpp
+++ b/kernel/fiasco/src/kern/arm/trap_state.cpp
@@ -34,7 +34,7 @@ void
 Trap_state::sanitize_user_state()
 {
   psr &= ~(Proc::Status_mode_mask | Proc::Status_interrupts_mask);
-  psr |= Proc::Status_mode_user;
+  psr |= Proc::Status_mode_user | Proc::Status_always_mask;
 }
 
 PUBLIC inline