taglinefilesource code
dst_ptr58drivers/char/ftape/ftape-bsm.cbyte *dst_ptr = bad_sector_map;
dst_ptr68drivers/char/ftape/ftape-bsm.c*(unsigned long *) dst_ptr = 0x800000 + sector;
dst_ptr69drivers/char/ftape/ftape-bsm.cdst_ptr += 3;
dst_ptr74drivers/char/ftape/ftape-bsm.c*(unsigned long *) dst_ptr = sector;
dst_ptr75drivers/char/ftape/ftape-bsm.cdst_ptr += 3;