CR4_VALID
vmcb->state.cr4 &= CR4_VALID;
(state->crs[NVMM_X64_CR_CR4] & CR4_VALID) | CR4_VMXE);
(0xFFFFFFFFFFFFFFFFULL & ~CR4_VALID)