Searched refs:vmcs_entry_interruption_info (Results 1 – 1 of 1) sorted by relevance
283 uint32_t vmcs_entry_interruption_info; variable1726 vmcs_entry_interruption_info = strtoul(optarg, NULL, 0); in main()1907 vmcs_entry_interruption_info); in main()