enable PKE bit in CR4

This commit is contained in:
Stanislav Shwartsman 2016-03-16 19:44:24 +00:00
parent 8fe26816dc
commit cbe50a9539

View File

@ -1211,6 +1211,9 @@ Bit32u BX_CPU_C::get_cr4_allow_mask(void)
if (is_cpu_extension_supported(BX_ISA_SMAP))
allowMask |= BX_CR4_SMAP_MASK;
if (is_cpu_extension_supported(BX_ISA_PKU))
allowMask |= BX_CR4_PKE_MASK;
#endif
return allowMask;