tag	line	file	source code
play	452	drivers/sound/dmasound.c	void (*play)(void);
play	2648	drivers/sound/dmasound.c	(*sound.mach.play)();