taglinefilesource code
AUX_OUTPUT_PORT127drivers/char/psaux.coutb_p(val,AUX_OUTPUT_PORT);    /* write data */
AUX_OUTPUT_PORT165drivers/char/psaux.coutb_p(val,AUX_OUTPUT_PORT);
AUX_OUTPUT_PORT345drivers/char/psaux.coutb_p(get_fs_byte(buffer++),AUX_OUTPUT_PORT);