Symbol: x86_get_cr3
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
107
#define x86_get_cr3() rcr3()
sys/dev/virtual/nvmm/x86/nvmm_x86_internal.h
99
#define x86_get_cr3() rcr3()