Searched refs:ipis_rcvd (Results 1 – 2 of 2) sorted by relevance
21 static volatile uint64_t ipis_rcvd[RECEIVER_VCPU_ID_2 + 1]; variable64 ipis_rcvd[vcpu_id] = (u64)-1; in receiver_code()76 ipis_rcvd[vcpu_id]++; in guest_ipi_handler()98 while (!ipis_rcvd[RECEIVER_VCPU_ID_1] || !ipis_rcvd[RECEIVER_VCPU_ID_2]) in sender_guest_code()100 ipis_rcvd[RECEIVER_VCPU_ID_1] = ipis_rcvd[RECEIVER_VCPU_ID_2] = 0; in sender_guest_code()107 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()108 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()114 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()115 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()127 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()[all …]
51 static volatile uint64_t ipis_rcvd; variable122 ipis_rcvd++; in guest_ipi_handler()156 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()426 pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd); in main()