tag	line	file	source code
tmp_dev	163	drivers/sound/patmgr.c	int             tmp_dev;
tmp_dev	165	drivers/sound/patmgr.c	tmp_dev = ((unsigned short *) mbox[dev])[2];
tmp_dev	166	drivers/sound/patmgr.c	if (tmp_dev != dev)