IDT_VECTORING_ERROR_CODE
EVMCS1_FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code,
FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code),
SHADOW_FIELD_RO(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code)
vmcs_read32(IDT_VECTORING_ERROR_CODE);
vmcs_read32(IDT_VECTORING_ERROR_CODE));
IDT_VECTORING_ERROR_CODE);
case IDT_VECTORING_ERROR_CODE:
case IDT_VECTORING_ERROR_CODE: