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)
140 u32 idt_vectoring_error_code; member319 CHECK_OFFSET(idt_vectoring_error_code, 828); in vmx_check_vmcs12_offsets()
88 FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code),
243 EVMCS1_FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code,
1969 evmcs->idt_vectoring_error_code = vmcs12->idt_vectoring_error_code; in copy_vmcs12_to_enlightened()3703 vmcs12->idt_vectoring_error_code = in vmcs12_save_pending_event()
172 u32 idt_vectoring_error_code; member566 *value = current_evmcs->idt_vectoring_error_code; in evmcs_vmread()953 current_evmcs->idt_vectoring_error_code = value; in evmcs_vmwrite()
451 u32 idt_vectoring_error_code; member
176 u32 idt_vectoring_error_code;