CR0_MP
load_cr0(rcr0() | CR0_MP);
cr0 |= CR0_MP | CR0_TS; /* Done at every execve() too. */
load_cr0(rcr0() | CR0_MP);
cr0 |= CR0_MP | CR0_TS; /* Done at every execve() too. */
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;