Searched refs:get_vmcs_entry_interruption_info (Results 1 – 1 of 1) sorted by relevance
316 static int get_vmcs_entry_interruption_info; variable1113 if (!error && (get_vmcs_entry_interruption_info || in get_misc_vmcs()1481 NO_ARG, &get_vmcs_entry_interruption_info, 1}, in setup_options()