Searched refs:get_vpid_asid (Results 1 – 1 of 1) sorted by relevance
332 static int get_vpid_asid; variable1368 { "get-vmcs-vpid", NO_ARG, &get_vpid_asid, 1 }, in setup_options()1408 NO_ARG, &get_vpid_asid, 1 }, in setup_options()2194 if (!error && (get_vpid_asid || get_all)) { in main()