skcprint          139 dev/pci/if_sk.c int skcprint(void *, const char *);
skcprint         1496 dev/pci/if_sk.c 	(void)config_found(&sc->sk_dev, &skca, skcprint);
skcprint         1502 dev/pci/if_sk.c 		(void)config_found(&sc->sk_dev, &skca, skcprint);