Searched refs:ipis_sent (Results 1 – 1 of 1) sorted by relevance
58 uint64_t ipis_sent; member164 data->ipis_sent++; in sender_guest_code()219 params->data->ipis_sent, params->data->hlt_count, in vcpu_thread()263 uint64_t ipis_sent; in do_migrations() local298 ipis_sent = data->ipis_sent; in do_migrations()340 data->ipis_sent, *pipis_rcvd, in do_migrations()343 TEST_ASSERT(ipis_sent != data->ipis_sent && in do_migrations()350 ipis_sent = data->ipis_sent; in do_migrations()477 run_secs, data->ipis_sent, in main()
Completed in 4 milliseconds