Searched refs:ipis_rcvd (Results 1 – 2 of 2) sorted by relevance
23 static volatile uint64_t ipis_rcvd[RECEIVER_VCPU_ID_2 + 1]; variable66 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()108 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()115 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()128 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()137 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()149 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ipis_expected[0]); in sender_guest_code()[all …]
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()430 pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd); in main()