Symbol: rcr3
sys/cpu/x86_64/include/cpufunc.h
697
load_cr3(rcr3());
sys/cpu/x86_64/include/cpufunc.h
972
u_int rcr3(void);
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()