Searched refs:ipis_sent (Results 1 – 1 of 1) sorted by relevance
63 uint64_t ipis_sent; member170 data->ipis_sent++; in sender_guest_code()228 params->data->ipis_sent, params->data->hlt_count, in vcpu_thread()272 uint64_t ipis_sent; in do_migrations() local307 ipis_sent = data->ipis_sent; in do_migrations()349 data->ipis_sent, *pipis_rcvd, in do_migrations()352 TEST_ASSERT(ipis_sent != data->ipis_sent && in do_migrations()359 ipis_sent = data->ipis_sent; in do_migrations()493 run_secs, data->ipis_sent, in main()
