tag	line	file	source code
psaux_init	65	drivers/char/misc.c	extern int psaux_init(void);
psaux_init	200	drivers/char/misc.c	psaux_init();
psaux_init	536	drivers/char/psaux.c	return psaux_init(); /*?? Bjorn */