Searched refs:vmcs_entry_interruption_info (Results 1 – 1 of 1) sorted by relevance
304 uint32_t vmcs_entry_interruption_info; variable1828 vmcs_entry_interruption_info = strtoul(optarg, NULL, 0); in main()2027 vmcs_entry_interruption_info); in main()