Searched refs:ipis_sent (Results 1 – 1 of 1) sorted by relevance
58 uint64_t ipis_sent; member165 data->ipis_sent++; in sender_guest_code()220 params->data->ipis_sent, params->data->hlt_count, in vcpu_thread()264 uint64_t ipis_sent; in do_migrations() local299 ipis_sent = data->ipis_sent; in do_migrations()341 data->ipis_sent, *pipis_rcvd, in do_migrations()344 TEST_ASSERT(ipis_sent != data->ipis_sent && in do_migrations()351 ipis_sent = data->ipis_sent; in do_migrations()491 run_secs, data->ipis_sent, in main()