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