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