Searched refs:vect_info (Results 1 – 1 of 1) sorted by relevance
5466 u32 vect_info; in handle_exception() local5469 vect_info = vmx->idt_vectoring_info; in handle_exception()5505 if ((vect_info & VECTORING_INFO_VALID_MASK) && in handle_exception()5510 vcpu->run->internal.data[0] = vect_info; in handle_exception()