NVMM_X64_CR_CR0
if ((state->crs[NVMM_X64_CR_CR0] & CR0_PG) == 0) {
printf("| -> CR0=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR0]);
[NVMM_X64_CR_CR0] = 0x60000010,
state->crs[NVMM_X64_CR_CR0]) & CR0_TLB_FLUSH) {
vmcb->state.cr0 = state->crs[NVMM_X64_CR_CR0];
state->crs[NVMM_X64_CR_CR0] = vmcb->state.cr0;
if ((cr0 ^ state->crs[NVMM_X64_CR_CR0]) & CR0_TLB_FLUSH) {
(state->crs[NVMM_X64_CR_CR0] & CR0_STATIC_MASK) |
(state->crs[NVMM_X64_CR_CR0] & ~CR0_STATIC_MASK) |
state->crs[NVMM_X64_CR_CR0] =
state->crs[NVMM_X64_CR_CR0] = CR0_PG|CR0_PE|CR0_NE|CR0_TS|CR0_MP|CR0_WP|CR0_AM;
state->crs[NVMM_X64_CR_CR0] = CR0_PG|CR0_PE|CR0_NE|CR0_TS|CR0_MP|CR0_WP|CR0_AM;