vect_info        4600 arch/x86/kvm/vmx/vmx.c 	u32 vect_info;
vect_info        4602 arch/x86/kvm/vmx/vmx.c 	vect_info = vmx->idt_vectoring_info;
vect_info        4635 arch/x86/kvm/vmx/vmx.c 	if ((vect_info & VECTORING_INFO_VALID_MASK) &&
vect_info        4640 arch/x86/kvm/vmx/vmx.c 		vcpu->run->internal.data[0] = vect_info;