tag	line	file	source code
AUX_OUTPUT_PORT	127	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);    /* write data */
AUX_OUTPUT_PORT	165	drivers/char/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	347	drivers/char/psaux.c	outb_p(get_user(buffer++),AUX_OUTPUT_PORT);