tree 773f0700030d5fa7a8d1fa148881b18aeaf1f3f8
parent a41100276a89128703db61361f6be878c6473005
author Jingyi Wang <wangjingyi11@huawei.com> 1596181355 +0800
committer Paolo Bonzini <pbonzini@redhat.com> 1599229251 -0400

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>