Re: [RFC PATCH] target/arm: hold bql when SEV sets the event_register

[Richard Henderson]

On 10/12/26 15:48, Alex Bennée wrote:
  void HELPER(sev)(CPUARMState *env)
  {
      CPUState *cs = env_cpu(env);
+
+    BQL_LOCK_GUARD();
+
      CPU_FOREACH(cs) {

As an aside, cs is used here as a loop variable. Initializing it from 
env is pointless, and we can in fact remove the env argument.


r~