tag	line	file	source code
AUX_ENABLE_DEV	320	drivers/char/psaux.c	aux_write_dev(AUX_ENABLE_DEV);    /* enable aux device */
AUX_ENABLE_DEV	368	drivers/char/psaux.c	outb_p(AUX_ENABLE_DEV, qp_data);  /* Wake up mouse */