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)
142 u32 idt_vectoring_info_field; member324 CHECK_OFFSET(idt_vectoring_info_field, 824); in vmx_check_vmcs12_offsets()
87 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
247 EVMCS1_FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field,
1787 evmcs->idt_vectoring_info_field = vmcs12->idt_vectoring_info_field; in copy_vmcs12_to_enlightened()3364 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3366 vmcs12->idt_vectoring_info_field = in vmcs12_save_pending_event()3379 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()3455 if (!(vmcs12->idt_vectoring_info_field & VECTORING_INFO_VALID_MASK) && in nested_vmx_inject_exception_vmexit()3748 vmcs12->idt_vectoring_info_field = 0; in prepare_vmcs12()4180 vmcs12->idt_vectoring_info_field, in nested_vmx_vmexit()
697 u32 idt_vectoring_info_field; member