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