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