Searched refs:idt_vectoring_info_field (Results 1 – 2 of 2) sorted by relevance
184 u32 idt_vectoring_info_field;
313 u32 idt_vectoring_info_field; member700 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),9638 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()9640 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()9653 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()9840 vmcs12->idt_vectoring_info_field = 0; in prepare_vmcs12()10041 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()