tag	line	file	source code
AUX_OUTPUT_PORT	86	kernel/chr_drv/psaux.c	outb_p(val,AUX_OUTPUT_PORT);    /* write data */
AUX_OUTPUT_PORT	116	kernel/chr_drv/psaux.c	outb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT	211	kernel/chr_drv/psaux.c	outb_p(get_fs_byte(buffer++),AUX_OUTPUT_PORT);