Commit 2ca3364b authored by Jingyi Wang's avatar Jingyi Wang Committed by Paolo Bonzini
Browse files

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: default avatarJingyi Wang <>
Reviewed-by: default avatarEric Auger <>
Signed-off-by: Andrew Jones's avatarAndrew Jones <>
Signed-off-by: default avatarPaolo Bonzini <>
parent a4110027
......@@ -103,7 +103,9 @@ static void ipi_exec(void)
while (!ipi_received && tries--)
if (ipi_received)
assert_msg(ipi_received, "failed to receive IPI in time, but received %d successfully\n", received);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment