#include "stdio_impl.h"
#include "pthread_impl.h"
void funlockfile(FILE *f)
{
if (f->lockcount == 1) {
__unlist_locked_file(f);
f->lockcount = 0;
__unlockfile(f);
} else {
f->lockcount--;
}