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()221 params->data->ipis_sent, params->data->hlt_count, in vcpu_thread()265 uint64_t ipis_sent; in do_migrations() local300 ipis_sent = data->ipis_sent; in do_migrations()342 data->ipis_sent, *pipis_rcvd, in do_migrations()345 TEST_ASSERT(ipis_sent != data->ipis_sent && in do_migrations()352 ipis_sent = data->ipis_sent; in do_migrations()481 run_secs, data->ipis_sent, in main()