Searched refs:idt_vectoring_info_field (Results 1 – 1 of 1) sorted by relevance
169 u32 idt_vectoring_info_field; member561 *value = current_evmcs->idt_vectoring_info_field; in evmcs_vmread()948 current_evmcs->idt_vectoring_info_field = value; in evmcs_vmwrite()