vectoring_info   5848 arch/x86/kvm/vmx/vmx.c 	u32 vectoring_info = vmx->idt_vectoring_info;
vectoring_info   5892 arch/x86/kvm/vmx/vmx.c 	if ((vectoring_info & VECTORING_INFO_VALID_MASK) &&
vectoring_info   5900 arch/x86/kvm/vmx/vmx.c 		vcpu->run->internal.data[0] = vectoring_info;