tag	line	file	source code
AUX_OUTPUT_PORT	133	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);    /* write data */
AUX_OUTPUT_PORT	148	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	168	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	385	drivers/char/psaux.c	outb_p(get_user(buffer++),AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	521	drivers/char/psaux.c	outb_p(AUX_INTS_OFF, AUX_OUTPUT_PORT); /*  on the controller */