Searched refs:idt_vectoring_info_field (Results 1 – 1 of 1) sorted by relevance
334 u32 idt_vectoring_info_field; member770 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),10259 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()10261 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()10274 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()10462 vmcs12->idt_vectoring_info_field = 0; in prepare_vmcs12()10665 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()