CR4_PAE
is_pae = (state->crs[NVMM_X64_CR_CR4] & CR4_PAE) != 0;
(CR4_PSE|CR4_PAE|CR4_PGE|CR4_PCIDE|CR4_SMEP)
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;