Searched refs:CPUID_7_0_EBX_FSGSBASE (Results 1 – 3 of 3) sorted by relevance
93 ebx &= CPUID_7_0_EBX_FSGSBASE | CPUID_7_0_EBX_BMI1 | in hvf_get_supported_cpuid()
428 .ebx = CPUID_7_0_EBX_FSGSBASE | CPUID_7_0_EBX_FDP_EXCPTN_ONLY |
2367 return (s->cpuid_7_0_ebx_features & CPUID_7_0_EBX_FSGSBASE);