Searched refs:idt_vectoring_info_field (Results 1 – 6 of 6) sorted by relevance
44 SHADOW_FIELD_RO(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field)
141 u32 idt_vectoring_info_field; member315 CHECK_OFFSET(idt_vectoring_info_field, 824); in vmx_check_vmcs12_offsets()
89 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
265 EVMCS1_FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field,
1971 evmcs->idt_vectoring_info_field = vmcs12->idt_vectoring_info_field; in copy_vmcs12_to_enlightened()3755 vmcs12->idt_vectoring_info_field = 0; in vmcs12_save_pending_event()3773 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3775 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()3788 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3790 vmcs12->idt_vectoring_info_field = 0; in vmcs12_save_pending_event()3901 if (!(vmcs12->idt_vectoring_info_field & VECTORING_INFO_VALID_MASK) && in nested_vmx_inject_exception_vmexit()4908 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()
565 u32 idt_vectoring_info_field; member