CR0_TLB_FLUSH
state->crs[NVMM_X64_CR_CR0]) & CR0_TLB_FLUSH) {
if ((oldcr0 ^ fakecr0) & CR0_TLB_FLUSH) {
if ((cr0 ^ state->crs[NVMM_X64_CR_CR0]) & CR0_TLB_FLUSH) {