Searched refs:RECEIVER_VCPU_ID_1 (Results 1 – 1 of 1) sorted by relevance
18 #define RECEIVER_VCPU_ID_1 2 macro100 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()123 ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_1); in sender_guest_code()149 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ipis_expected[0]); in sender_guest_code()158 GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ipis_expected[0]); in sender_guest_code()167 ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_1); in sender_guest_code()259 vcpu[1] = vm_vcpu_add(vm, RECEIVER_VCPU_ID_1, receiver_code); in main()[all …]