Symbol: rcr3
sys/arch/amd64/amd64/efi_machdep.c
205
sc->sc_cr3 = rcr3() | cr3_reuse_pcid;
sys/arch/amd64/amd64/pmap.c
380
(pmap->pm_pdirpa == (rcr3() & CR3_PADDR)));
sys/arch/amd64/amd64/pmap.c
437
cr3 = rcr3();
sys/arch/amd64/amd64/vmm_machdep.c
3771
cr3 = rcr3();
sys/arch/i386/include/cpufunc.h
55
static __inline u_int rcr3(void);