pmap_release      364 arch/i386/i386/pmap.c void			pmap_release(pmap_t);
pmap_release     1511 arch/i386/i386/pmap.c 	pmap_release(pmap);