taglinefilesource code
ST31523drivers/block/floppy.cDPRINT1("wp=%x\n",ST3 & 0x40);
ST31526drivers/block/floppy.cif (!( ST3  & 0x40))