tag	line	file	source code
aux_present	127	drivers/char/psaux.c	static int aux_present = 0;
aux_present	306	drivers/char/psaux.c	if (!aux_present)
aux_present	500	drivers/char/psaux.c	aux_present = 1;