rcr3              384 arch/i386/i386/pmap.c 	       (pmap->pm_pdirpa == (paddr_t) rcr3()));
rcr3               56 arch/i386/include/cpufunc.h static __inline u_int rcr3(void);