Searched refs:idt_vectoring_info_field (Results 1 – 2 of 2) sorted by relevance
184 u32 idt_vectoring_info_field;
317 u32 idt_vectoring_info_field; member755 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),10050 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()10052 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()10065 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()10252 vmcs12->idt_vectoring_info_field = 0; in prepare_vmcs12()10453 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()