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()
344 uint32_t kvm_get_cpuid_max_basic(void);
1105 uint32_t kvm_get_cpuid_max_basic(void) in kvm_get_cpuid_max_basic() function