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