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