If ipi_exec() fails because of timeout, we shouldn't increase the number of ipi received. Signed-off-by: Jingyi Wang <wangjingyi11@xxxxxxxxxx> --- 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
