Searched refs:vect_info (Results 1 – 1 of 1) sorted by relevance
5483 u32 vect_info; in handle_exception_nmi() local5485 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5545 if ((vect_info & VECTORING_INFO_VALID_MASK) && in handle_exception_nmi()5550 vcpu->run->internal.data[0] = vect_info; in handle_exception_nmi()