Symbol: x86_get_cr4
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
100
#define x86_get_cr4() rcr4()
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
108
#define x86_get_cr4() rcr4()