Symbol: CR4_TLB_FLUSH
sys/dev/nvmm/x86/nvmm_x86_svm.c
2001
state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1739
if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2732
if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {