Searched refs:RECEIVER_VCPU_ID_1 (Results 1 – 1 of 1) sorted by relevance
18 #define RECEIVER_VCPU_ID_1 2 macro98 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()104 ipi->cpu_mask = 1 << RECEIVER_VCPU_ID_1; in sender_guest_code()107 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()112 IPI_VECTOR, 1 << RECEIVER_VCPU_ID_1); in sender_guest_code()114 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()123 ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_1); in sender_guest_code()127 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()136 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]); in sender_guest_code()[all …]