[PATCH v5 09/13] hvf: only call hvf_sync_vtimer() when running without the platform vGIC

[Mohamed Mediouni]

When running with the Apple vGIC, the EL1 vtimer is handled by the platform.

Signed-off-by: Mohamed Mediouni <moha...@unpredictable.fr>
---
 target/arm/hvf/hvf.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/target/arm/hvf/hvf.c b/target/arm/hvf/hvf.c
index eefae3069f..7699669e73 100644
--- a/target/arm/hvf/hvf.c
+++ b/target/arm/hvf/hvf.c
@@ -2007,7 +2007,8 @@ int hvf_vcpu_exec(CPUState *cpu)
         g_assert_not_reached();
     }
 
-    hvf_sync_vtimer(cpu);
+    if (!hvf_irqchip_in_kernel())
+        hvf_sync_vtimer(cpu);
 
     switch (ec) {
     case EC_SOFTWARESTEP: {
-- 
2.39.5 (Apple Git-154)