Searched refs:ipis_sent (Results 1 – 1 of 1) sorted by relevance
60 uint64_t ipis_sent; member166 data->ipis_sent++; in sender_guest_code()225 params->data->ipis_sent, params->data->hlt_count, in vcpu_thread()269 uint64_t ipis_sent; in do_migrations() local304 ipis_sent = data->ipis_sent; in do_migrations()346 data->ipis_sent, *pipis_rcvd, in do_migrations()349 TEST_ASSERT(ipis_sent != data->ipis_sent && in do_migrations()356 ipis_sent = data->ipis_sent; in do_migrations()485 run_secs, data->ipis_sent, in main()