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