On 2020/5/17 18:08, Jingyi Wang wrote:
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)
I think you may want *ipi_received* ;-) Otherwise it can not even
compile!
+ ++received;
+
assert_msg(ipi_received, "failed to receive IPI in time, but received %d
successfully\n", received);
}
With this fixed, this looks good to me,
Reviewed-by: Zenghui Yu <yuzeng...@huawei.com>
Thanks.
_______________________________________________
kvmarm mailing list
kvmarm@lists.cs.columbia.edu
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm