Searched refs:idt_vectoring_error_code (Results 1 – 1 of 1) sorted by relevance
170 u32 idt_vectoring_error_code; member564 *value = current_evmcs->idt_vectoring_error_code; in evmcs_vmread()951 current_evmcs->idt_vectoring_error_code = value; in evmcs_vmwrite()