fixed compilation with no PKEYS enabled

This commit is contained in:
Stanislav Shwartsman 2017-11-12 20:15:48 +00:00
parent 7ad81ace40
commit 0c604d27d1

View File

@ -1462,11 +1462,13 @@ Bit32u bx_generic_cpuid_t::get_ext4_cpuid_features(void) const
if (BX_CPUID_SUPPORT_ISA_EXTENSION(BX_ISA_RDPID))
features |= BX_CPUID_EXT4_RDPID;
#if BX_SUPPORT_PKEYS
if (BX_CPUID_SUPPORT_ISA_EXTENSION(BX_ISA_PKU)) {
features |= BX_CPUID_EXT4_PKU;
if (cpu->cr4.get_PKE())
features |= BX_CPUID_EXT4_OSPKE;
}
#endif
return features;
}