Searched refs:idt_vectoring_error_code (Results 1 – 8 of 8) sorted by relevance
45 SHADOW_FIELD_RO(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code)
142 u32 idt_vectoring_error_code; member316 CHECK_OFFSET(idt_vectoring_error_code, 828); in vmx_check_vmcs12_offsets()
90 FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code),
372 EVMCS1_FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code,
1971 evmcs->idt_vectoring_error_code = vmcs12->idt_vectoring_error_code; in copy_vmcs12_to_enlightened()3768 vmcs12->idt_vectoring_error_code = in vmcs12_save_pending_event()
166 u32 idt_vectoring_error_code; member586 *value = current_evmcs->idt_vectoring_error_code; in evmcs_vmread()1086 current_evmcs->idt_vectoring_error_code = value; in evmcs_vmwrite()
566 u32 idt_vectoring_error_code; member
178 u32 idt_vectoring_error_code;