Searched refs:idt_vectoring_error_code (Results 1 – 3 of 3) sorted by relevance
163 u32 idt_vectoring_error_code; member583 *value = current_evmcs->idt_vectoring_error_code; in evmcs_vmread()1083 current_evmcs->idt_vectoring_error_code = value; in evmcs_vmwrite()
178 u32 idt_vectoring_error_code;
2086 evmcs->idt_vectoring_error_code = vmcs12->idt_vectoring_error_code; in copy_vmcs12_to_enlightened()3981 vmcs12->idt_vectoring_error_code = in vmcs12_save_pending_event()