dest_vcpus         53 arch/x86/kvm/irq_comm.c 	unsigned int dest_vcpus = 0;
dest_vcpus         86 arch/x86/kvm/irq_comm.c 				dest_vcpus++;
dest_vcpus         91 arch/x86/kvm/irq_comm.c 	if (dest_vcpus != 0) {
dest_vcpus         92 arch/x86/kvm/irq_comm.c 		int idx = kvm_vector_to_index(irq->vector, dest_vcpus,
dest_vcpus        828 arch/x86/kvm/lapic.c int kvm_vector_to_index(u32 vector, u32 dest_vcpus,
dest_vcpus        834 arch/x86/kvm/lapic.c 	mod = vector % dest_vcpus;
dest_vcpus        231 arch/x86/kvm/lapic.h int kvm_vector_to_index(u32 vector, u32 dest_vcpus,