maestro_malloc    493 dev/pci/maestro.c void	*maestro_malloc(void *, int, size_t, int, int);
maestro_malloc    567 dev/pci/maestro.c 	maestro_malloc,