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()74 ipis_rcvd[vcpu_id]++; in guest_ipi_handler()96 while (!ipis_rcvd[RECEIVER_VCPU_ID_1] || !ipis_rcvd[RECEIVER_VCPU_ID_2]) in sender_guest_code()98 ipis_rcvd[RECEIVER_VCPU_ID_1] = ipis_rcvd[RECEIVER_VCPU_ID_2] = 0; in sender_guest_code()105 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()106 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()112 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()113 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_2] == ipis_expected[1]); in sender_guest_code()125 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()[all …]
51 static volatile uint64_t ipis_rcvd; variable121 ipis_rcvd++; in guest_ipi_handler()155 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()176 if ((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()182 GUEST_ASSERT((ipis_rcvd != last_ipis_rcvd_count) && in sender_guest_code()188 last_ipis_rcvd_count = ipis_rcvd; in sender_guest_code()426 pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd); in main()