Searched refs:last_ipis_rcvd_count (Results 1 – 1 of 1) sorted by relevance
130 uint64_t last_ipis_rcvd_count; in sender_guest_code() local156 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()177 if ((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()183 GUEST_ASSERT((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()189 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()