Searched refs:last_ipis_rcvd_count (Results 1 – 1 of 1) sorted by relevance
131 uint64_t last_ipis_rcvd_count; in sender_guest_code() local157 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()