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