Searched refs:idt_vectoring_info_field (Results 1 – 7 of 7) sorted by relevance
44 SHADOW_FIELD_RO(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field)
141 u32 idt_vectoring_info_field; member317 CHECK_OFFSET(idt_vectoring_info_field, 824); in vmx_check_vmcs12_offsets()
89 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
258 EVMCS1_FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field,
2050 evmcs->idt_vectoring_info_field = vmcs12->idt_vectoring_info_field; in copy_vmcs12_to_enlightened()3856 vmcs12->idt_vectoring_info_field = 0; in vmcs12_save_pending_event()3874 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3876 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()3889 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3891 vmcs12->idt_vectoring_info_field = 0; in vmcs12_save_pending_event()4002 if (!(vmcs12->idt_vectoring_info_field & VECTORING_INFO_VALID_MASK) && in nested_vmx_inject_exception_vmexit()5080 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()
177 u32 idt_vectoring_info_field;