vcpu_mask          91 arch/powerpc/include/asm/fsl_hcalls.h static inline unsigned int fh_send_nmi(unsigned int vcpu_mask)
vcpu_mask          97 arch/powerpc/include/asm/fsl_hcalls.h 	r3 = vcpu_mask;
vcpu_mask        1361 arch/x86/kvm/hyperv.c 	unsigned long *vcpu_mask;
vcpu_mask        1418 arch/x86/kvm/hyperv.c 	vcpu_mask = all_cpus ? NULL :
vcpu_mask        1428 arch/x86/kvm/hyperv.c 				    vcpu_mask, &hv_vcpu->tlb_flush);
vcpu_mask        1463 arch/x86/kvm/hyperv.c 	unsigned long *vcpu_mask;
vcpu_mask        1519 arch/x86/kvm/hyperv.c 	vcpu_mask = all_cpus ? NULL :
vcpu_mask        1523 arch/x86/kvm/hyperv.c 	kvm_send_ipi_to_many(kvm, vector, vcpu_mask);