tag	line	file	source code
psaux_init	36	drivers/char/mouse.c	extern int psaux_init(void);
psaux_init	122	drivers/char/mouse.c	psaux_init();
psaux_init	536	drivers/char/psaux.c	return psaux_init(); /*?? Bjorn */