arm64: microbench: get correct ipi received num
If ipi_exec() fails because of timeout, we shouldn't increase
the number of ipi received.
Signed-off-by: Jingyi Wang <wangjingyi11@huawei.com>
Reviewed-by: Eric Auger <eric.auger@redhat.com>
Signed-off-by: Andrew Jones <drjones@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
diff --git a/arm/micro-bench.c b/arm/micro-bench.c
index 4612f41..794dfac 100644
--- a/arm/micro-bench.c
+++ b/arm/micro-bench.c
@@ -103,7 +103,9 @@
while (!ipi_received && tries--)
cpu_relax();
- ++received;
+ if (ipi_received)
+ ++received;
+
assert_msg(ipi_received, "failed to receive IPI in time, but received %d successfully\n", received);
}