Searched refs:get_vmcs_entry_interruption_info (Results 1 – 1 of 1) sorted by relevance
302 static int get_vmcs_entry_interruption_info, set_vmcs_entry_interruption_info; variable1110 if (!error && (get_vmcs_entry_interruption_info || in get_misc_vmcs()1476 NO_ARG, &get_vmcs_entry_interruption_info, 1}, in setup_options()