tag	line	file	source code
AUX_OUTPUT_PORT	152	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);    /* write data */
AUX_OUTPUT_PORT	166	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	186	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	384	drivers/char/psaux.c	outb_p(get_user(buffer++),AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	529	drivers/char/psaux.c	outb_p(AUX_INTS_OFF, AUX_OUTPUT_PORT); /*  on the controller */