IDT_VECTORING_INFO_FIELD
EVMCS1_FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field,
FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
SHADOW_FIELD_RO(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field)
vmcs_read32(IDT_VECTORING_INFO_FIELD),
vmx->idt_vectoring_info = vmcs_read32(IDT_VECTORING_INFO_FIELD);
case IDT_VECTORING_INFO_FIELD:
case IDT_VECTORING_INFO_FIELD: