CR4_PAE
is_pae = (state->crs[NVMM_X64_CR_CR4] & CR4_PAE) != 0;
initctx->ctrlreg[4] = CR4_PAE | CR4_OSFXSR | CR4_OSXMMEXCPT;
(CR4_PSE|CR4_PAE|CR4_PGE|CR4_PCIDE|CR4_SMEP)
CR4_PAE | \
CR4_PAE | \
(CR4_PSE|CR4_PAE|CR4_PGE|CR4_PCIDE|CR4_SMEP)
state->crs[NVMM_X64_CR_CR4] = CR4_PAE;
state->crs[NVMM_X64_CR_CR4] = CR4_PAE;