On 04/26/2017 08:29 PM, Nikunj A Dadhania wrote:
@@ -728,6 +728,9 @@ static inline void powerpc_excp(PowerPCCPU *cpu, int 
excp_model, int excp)
      cs->exception_index = POWERPC_EXCP_NONE;
      env->error_code = 0;
+ /* Reset the reservation */
+    env->reserve_addr = -1;
+

It occurs to me that we might also need this in do_rfi, for transitioning back to userspace after the interrupt.


r~

Reply via email to