close_file
close_file(stream);
close_file(stdout);
close_file(stdout, NULL, NULL, NULL);
close_file(tp, directory, linkname, tempname);
close_file(fp, directory, target, NULL);
close_file(fp, NULL, filename(fnum), NULL);
close_file(fp, directory, name, tempname);
close_file(stream, NULL, NULL, NULL);
basic_test(tc, mp, 0, false, open_file_ro, close_file);
basic_test(tc, mp, EBUSY, false, open_file_rw, close_file);
basic_test(tc, mp, EBUSY, false, open_file_ro_unlink, close_file);
basic_test(tc, mp, 0, true, open_file_ro, close_file);
basic_test(tc, mp, EBUSY, true, open_file_rw, close_file);
basic_test(tc, mp, EBUSY, true, open_file_ro_unlink, close_file);