ckfini
void ckfini(int);
ckfini(1);
ckfini(0);
ckfini(0); /* XXX signal race */
void ckfini(int);
ckfini(resolved); /* Don't mark fs clean if fsck needs to be re-run */
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0); /* XXX signal race */
ckfini(0);