If ipi_exec() fails because of timeout, we shouldn't increase
the number of ipi received.
Signed-off-by: Jingyi Wang <wangjingy...@huawei.com>
---
arm/micro-bench.c | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/arm/micro-bench.c b/arm/micro-bench.c
index 4612f41..ca022d9 100644
--- a/arm/micro-bench.c
+++ b/arm/micro-bench.c
@@ -103,7 +103,9 @@ static void ipi_exec(void)
while (!ipi_received && tries--)
cpu_relax();
- ++received;
+ if (ipi_recieved)
+ ++received;
+
assert_msg(ipi_received, "failed to receive IPI in time, but received
%d successfully\n", received);
}
--
2.19.1
_______________________________________________
kvmarm mailing list
kvmarm@lists.cs.columbia.edu
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
