taglinefilesource code
not_done173fs/xiafs/bitmap.cint not_done=0;
not_done186fs/xiafs/bitmap.cif (!not_done) {    /* first time */
not_done187fs/xiafs/bitmap.cnot_done=1;
not_done192fs/xiafs/bitmap.cnot_done=0;
not_done204fs/xiafs/bitmap.c} while (not_done);