taglinefilesource code
not_done177fs/xiafs/bitmap.cint not_done=0;
not_done190fs/xiafs/bitmap.cif (!not_done) {    /* first time */
not_done191fs/xiafs/bitmap.cnot_done=1;
not_done196fs/xiafs/bitmap.cnot_done=0;
not_done208fs/xiafs/bitmap.c} while (not_done);