salloc_destroy    471 dev/pci/maestro.c void	salloc_destroy(salloc_t);
salloc_destroy    779 dev/pci/maestro.c 		salloc_destroy(sc->dmapool);