lcr3             1698 arch/i386/i386/pmap.c 		lcr3(pcb->pcb_cr3);
lcr3               55 arch/i386/include/cpufunc.h static __inline void lcr3(u_int);