Symbol: rcr3
usr/src/boot/sys/amd64/include/cpufunc.h
500
load_cr3(rcr3());
usr/src/boot/sys/amd64/include/cpufunc.h
851
u_long rcr3(void);
usr/src/boot/sys/i386/include/cpufunc.h
474
load_cr3(rcr3());
usr/src/boot/sys/i386/include/cpufunc.h
764
u_int rcr3(void);
usr/src/uts/intel/io/vmm/intel/vmx.c
2785
vmcs_write(VMCS_HOST_CR3, rcr3());