On 9/3/25 12:06, Philippe Mathieu-Daudé wrote:
+/* Must be called by the owning thread */

How could it not?

+static int hvf_handle_exception(CPUState *cpu, hv_vcpu_exit_exception_t *excp)
  {
      ARMCPU *arm_cpu = ARM_CPU(cpu);
...
+int hvf_arch_vcpu_exec(CPUState *cpu)
+{
+    ARMCPU *arm_cpu = ARM_CPU(cpu);

Don't dynamic cast twice.
Pass down the ARMCPU, or use env_archcpu(cpu_env(cpu)).


r~

Reply via email to