Searched refs:ipis_rcvd (Results 1 – 1 of 1) sorted by relevance
53 static volatile uint64_t ipis_rcvd; variable123 ipis_rcvd++; in guest_ipi_handler()157 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()178 if ((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()184 GUEST_ASSERT((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()190 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()434 pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd); in main()