pi_vec           3764 arch/x86/kvm/vmx/vmx.c 	int pi_vec = nested ? POSTED_INTR_NESTED_VECTOR : POSTED_INTR_VECTOR;
pi_vec           3792 arch/x86/kvm/vmx/vmx.c 		apic->send_IPI_mask(get_cpu_mask(vcpu->cpu), pi_vec);