Searched refs:kvm_get_cpuid_max_basic (Results 1 – 3 of 3) sorted by relevance
49 if (kvm_get_cpuid_max_basic() >= 0xd) { in main()
332 uint32_t kvm_get_cpuid_max_basic(void);
1210 uint32_t kvm_get_cpuid_max_basic(void) in kvm_get_cpuid_max_basic() function