Searched refs:vcpuid_xlevel (Results 1 – 2 of 2) sorted by relevance
178 uint32_t vcpuid_entry_nr, vcpuid_level, vcpuid_xlevel; member
71 limit = vm->vcpuid_xlevel; in find_vcpuid_entry()584 vm->vcpuid_xlevel = limit; in set_vcpuid_extended_function()
Completed in 9 milliseconds