Searched refs:RECEIVER_VCPU_ID_2 (Results 1 – 1 of 1) sorted by relevance
19 #define RECEIVER_VCPU_ID_2 65 macro23 static volatile uint64_t ipis_rcvd[RECEIVER_VCPU_ID_2 + 1];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()145 ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_2 - 64); in sender_guest_code()168 ipi_ex->vp_set.bank_contents[1] = BIT(RECEIVER_VCPU_ID_2 - 64); in sender_guest_code()265 vcpu[2] = vm_vcpu_add(vm, RECEIVER_VCPU_ID_2, receiver_code); in main()[all …]