puc_print         290 dev/pci/puc.c  		    puc_print, puc_submatch);
puc_print         119 dev/pci/pucvar.h int	puc_print(void *, const char *);