Symbol: x86_get_cr0
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
105
#define x86_get_cr0() rcr0()
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
97
#define x86_get_cr0() rcr0()