Searched refs:idt_vectoring_error_code (Results 1 – 7 of 7) sorted by relevance
45 SHADOW_FIELD_RO(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code)
142 u32 idt_vectoring_error_code; member318 CHECK_OFFSET(idt_vectoring_error_code, 828); in vmx_check_vmcs12_offsets()
90 FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code),
260 EVMCS1_FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code,
2051 evmcs->idt_vectoring_error_code = vmcs12->idt_vectoring_error_code; in copy_vmcs12_to_enlightened()3870 vmcs12->idt_vectoring_error_code = in vmcs12_save_pending_event()
178 u32 idt_vectoring_error_code;