pmap_pinit        363 arch/i386/i386/pmap.c void			pmap_pinit(pmap_t);
pmap_pinit       1424 arch/i386/i386/pmap.c 	pmap_pinit(pmap);