taglinefilesource code
byte391kernel/blk_drv/floppy.cstatic void output_byte(char byte)
byte401kernel/blk_drv/floppy.coutb(byte,FD_DATA);