tag	line	file	source code
free_buffer_pool	211	drivers/char/scc.c	static void free_buffer_pool(struct scc_channel *scc);
free_buffer_pool	2042	drivers/char/scc.c	free_buffer_pool(scc);
free_buffer_pool	2354	drivers/char/scc.c	free_buffer_pool(scc);