Searched refs:ipis_rcvd (Results 1 – 1 of 1) sorted by relevance
56 static volatile uint64_t ipis_rcvd; variable127 ipis_rcvd++; in guest_ipi_handler()161 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()182 if ((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()188 GUEST_ASSERT((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()194 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()440 pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd); in main()
