tools/testing/selftests/kvm/x86/hyperv_ipi.c

100

ipis_rcvd[RECEIVER_VCPU_ID_1] = ipis_rcvd[RECEIVER_VCPU_ID_2] = 0;

tools/testing/selftests/kvm/x86/hyperv_ipi.c

104

ipi->cpu_mask = 1 << RECEIVER_VCPU_ID_1;

tools/testing/selftests/kvm/x86/hyperv_ipi.c

107

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

112

IPI_VECTOR, 1 << RECEIVER_VCPU_ID_1);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

114

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

123

ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_1);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

127

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

136

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

149

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

158

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

167

ipi_ex->vp_set.bank_contents[0] = BIT(RECEIVER_VCPU_ID_1);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

172

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

181

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

191

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

202

GUEST_ASSERT(ipis_rcvd[RECEIVER_VCPU_ID_1] == ++ipis_expected[0]);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

260

vcpu[1] = vm_vcpu_add(vm, RECEIVER_VCPU_ID_1, receiver_code);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

262

vcpu_set_msr(vcpu[1], HV_X64_MSR_VP_INDEX, RECEIVER_VCPU_ID_1);

tools/testing/selftests/kvm/x86/hyperv_ipi.c

98

while (!ipis_rcvd[RECEIVER_VCPU_ID_1] || !ipis_rcvd[RECEIVER_VCPU_ID_2])